pub const CODES_END_OF_FILE: i32 = -1;