Extract x86_64-trampoline