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