callCC and callCpC -- working, many thanks to Perrin for his insights