I've been reading Finkel's book and in Chapter 2, on Control structures(the part about Continuations) to demonstrate, it uses a language called Io, where instead of returning, procedures just invoke their continuations. I've never seen something like this before, and it's really hard to find anything about that language. Is there any sort of implementation of this left anywhere?