> Isn't the flag for call/cc used a compile-time constant? No. It was a bool ref that got set in the Cont structure (using an ugly MLton-specific dead-code-elimination hack).