Cont.callCC properly captures the (manually operated) call stack, and the specs pass; but yin-yang puzzle doesn't run, so something's not right