AttributeModule DEFINITIONS IMPLICIT TAGS ::= BEGIN ResettableCounter32 ::= INTEGER(0..4294967295) Integer32 ::= INTEGER(0..4294967295) END