Implement CEK+go with non-local control flow (here/jump)