Package { #name : #MyCounter }