let inc (counter: counter) : unit =
  inc_by counter 1