pub const F17: u32 = 0x80;