pub type syscall_arg_t = u64;