let create_with (start: int) : counter =
  if start >= 0 then
    ref start
  else
    raise OVERFLOW