let
value (counter: counter) : int =
!counter