pub type __kernel_gid_t = c_uint;