pub type __intptr_t = c_int;