pub type syscall_arg_t = u_int64_t;