io = { read_line = () : str { __READ_LINE__() } write_line = (output: str) : none { __WRITE_LINE__(output) } }