Trampoline now written in x86_64