Define callcc in terms of callCC, where callCC is explained in the callCC exercise under LAMBDA++, Lesson 1. Follow a substitution-based style.