let n = ref 2;; let inc k = n := !n + k; !n;;