copy_trampoline_code
copy_trampoline_code(trampolineCode, trampolineStack);
void copy_trampoline_code(uint64 trampolineCode, uint64 trampolineStack);