pub type __kernel_ptrdiff_t = c_int;