pub const KRA_DISP_NOTLOADED: u32 = 6u32;