pub type SceKernelDebugLevel = c_uint;