pub type IoError { Eof }
Eof
pub fn read_chars(count: Int) -> Result(String, IoError)
pub fn read_line() -> Result(String, IoError)