// Print a newline
fn putln() -> void = do
    putchar('\n')
end in


// Print a number, and a newline
fn putnumln(n: int) -> void = do
    putnum(n); putln()
end in

let x = 1 in do
    putnumln(x);
    x++;
    putnumln(x)
end