pub type __kernel_key_t = c_int;