pub const _OLD_STDIO_MAGIC: u32 = 4206624768;