Constant _IO_EOF_SEEN 

pub const _IO_EOF_SEEN: i32 = 16;