pub const BAD_FILEPTR: u32 = 114;