Implement TCO using a trampoline