Proposal: Bounded continuations - non-local control flow without the mess
language design