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