pub static mut cstdin: *mut c_IO_FILE