#[link_section = ".trampoline.text"] #[export_name = "_user_trap_exit"] pub extern "C" fn _user_trap_exit() -> !