PROTOCOL fill IS INT :: []INT: CHAN OF fill leftChannel, rightChannel:VAL Len IS 100: [Len]INT myArray: SEQ SEQ i = 0 FOR SIZE myArray myArray[i] := i PAR SEQ left IS [myArray FROM 0 FOR Len/2]: INT len: leftChannel ? len::left SEQ right IS [myArray FROM Len/2 FOR Len/2]: INT len: rightChannel ? len::right