Define a variant of callcc, say callCC, which never returns to the current context unless a value is specifically passed to its argument continuation. Follow a substitution-based style.