io = { read_line = () str { READ_LINE() } write_line = (output: any) none { WRITE_LINE(output) } }