execute procedure by trampoline in call/cc
receive values by trampoline