pub const EXFLAG_CRITICAL: u32 = 0x200;