Constant _OLD_STDIO_MAGIC 

pub const _OLD_STDIO_MAGIC: c_uint = 4206624768;