[][src]Constant hts_sys::_IO_EOF_SEEN

pub const _IO_EOF_SEEN: u32 = 16;