pub const _IO_EOF_SEEN: c_int = 16;