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