pub const _IO_BAD_SEEN: u32 = 16384;