PUCCH-ConfigDedicated-v1250

PUCCH-ConfigDedicated-v1250 ::= SEQUENCE {
	nkaPUCCH-Param-r12					CHOICE {
		release								NULL,
		setup								SEQUENCE {
			nkaPUCCH-AN-r12						INTEGER (0..2047)
		}
	}
}