pub const CONFIGFLAG_NOREMOVEEXIT: u32 = 512u32;