pub const c_IO_EOF_SEEN: u32 = 16; // 16u32