pub const OBJ_KERNEL_HANDLE: i32 = 512i32;