pub type SceKernelErrorCode = c_uint;