super.transitions[KrbPrivStatesEnum.KRB_PRIV_PVNO_TAG_STATE.ordinal()][UniversalTag.INTEGER.getValue()] =
new GrammarTransition<KrbPrivContainer>(
KrbPrivStatesEnum.KRB_PRIV_PVNO_TAG_STATE,
KrbPrivStatesEnum.KRB_PRIV_PVNO_STATE,
UniversalTag.INTEGER,
new StorePvno() );
// --------------------------------------------------------------------------------------------
// Transition from pvno to msg-type tag
// --------------------------------------------------------------------------------------------
// msg-type [1]