pub const _IO_EOF_SEEN: c_uint = 16;