pub const EXFLAG_BCONS: u32 = 0x1;