super.transitions[KrbSafeStatesEnum.KRB_SAFE_PVNO_TAG_STATE.ordinal()][UniversalTag.INTEGER.getValue()] =
new GrammarTransition<KrbSafeContainer>(
KrbSafeStatesEnum.KRB_SAFE_PVNO_TAG_STATE,
KrbSafeStatesEnum.KRB_SAFE_PVNO_STATE,
UniversalTag.INTEGER,
new StorePvno() );
// --------------------------------------------------------------------------------------------
// Transition from pvno to msg-type tag
// --------------------------------------------------------------------------------------------
// msg-type [1]