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