let
create () : counter =
create_with 0