(* Workhorse function, which [main] will call *) fun counter n = return Current counter: {[n]}
Increment
Decrement fun main () = counter 0