pub const _IO_EOF_SEEN: i32 = 16;