pub type __kernel_ptrdiff_t = __kernel_long_t;