(* Baseline: module declaration + use *)
module Counter = struct
  let make () =
    let n = ref 0 in
    fun () ->
      n := !n + 1 ;
      !n
end ;;
let result =
  let c = Counter.make () in
  let _ = c () in
  let _ = c () in
  c () ;;
result