fun counter n = return Current counter: {[n]}
Increment
Decrement fun main () = counter 0