let dec (counter: counter) : unit =
  let new_value =
    !counter - 1
  in
    if new_value < !counter then
      counter := new_value
    else
      raise OVERFLOW