pub type __kernel_clockid_t = c_int;