pub const _IOEOF: u32 = 16;