SPUCCH-Config-v1550 ::= CHOICE { release NULL, setup SEQUENCE { twoAntennaPortActivatedSPUCCH-Format3-v1550 SEQUENCE { n3SPUCCH-AN-List-v1550 SEQUENCE (SIZE (1..4)) OF INTEGER (0..549) } } }