Surely there can be a better continuation that's delimited, non-reentrant, but also first class and compatible with threading.
Isn't that what with-baffle provides? Genuine question. According to what's written, any call/cc in a with-baffle block is non-reentrant. Continuations are first class in s7.