EventParam POINTER TO Cmp [...] pointer pEventParam is [...] the user has to use

FaultParam POINTER TO Cmp [...] pointer pEventParam is [...] the user has to use

PrioArray POINTER TO ARRAY [1..16 [...] pointer pPrioArray is [...] the user has to use

PrioArray POINTER TO ARRAY [1..16 [...] pointer pPrioArray is [...] the user has to use

PrioArray POINTER TO ARRAY [1..16 [...] pointer pPrioArray is [...] the user has to use

PrioArray POINTER TO ARRAY [1..16 [...] pointer pPrioArray is [...] the user has to use

PrioArray POINTER TO ARRAY [1..16 [...] pointer pPrioArray is [...] the user has to use

PrioArray POINTER TO ARRAY [1..16 [...] pointer pPrioArray is [...] the user has to use

PrioArray POINTER TO ARRAY [1..16 [...] pointer pPrioArray is [...] the user has to use

P1 POINTER TO Vector [...] \) vP2 POINTER TO [...] P3 POINTER TO Vector