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