Constant hts_sys::_OLD_STDIO_MAGIC

pub const _OLD_STDIO_MAGIC: u32 = 4206624768;