callcc (\k.k 7)
