pub const IEXTEN: u32 = 0x00008000; // 32_768u32