pub type __pid_t = c_int;