P0AlphaSet-r17 ::= SEQUENCE { p0-r17 INTEGER (-16..15) OPTIONAL, -- Need R alpha-r17 Alpha OPTIONAL, -- Need S closedLoopIndex-r17 ENUMERATED { i0, i1 } }