pub const IMAXBEL: u32 = 8192;