Isn't it better to either eliminate call/cc (sad) or have an implementation that checks the global flag (that used to be there) and does something correct, even if horribly slow, in the case that call/cc is used?