NameExp> [, <ActualParamListNot [...] ParamList> ::= Empty | <ActualParamListNotEmpty> <ActualParamListNot

QUEUE WHILE NOT QUEUE [...] IF n = SIZEOF(xp [...] State := 2; EXIT; END_IF