pub fn sys_exit(exit_code: u32) -> !