Type Alias syscall_arg_t 

pub type syscall_arg_t = u64;