Constant hts_sys::_IO_BAD_SEEN

pub const _IO_BAD_SEEN: u32 = 16384;