pub type __kernel_size_t = u32;
Most 32 bit architectures use “unsigned int” size_t, and all 64 bit architectures use “unsigned long” size_t.
