pub type __kernel_ptrdiff_t = i64;