S call id (arglist) { for every value T in queue generate Param T gencode (call id.place, arglist.count) } arglist arglist, E { append (queue, E .place) arglist.count:= arglist. count + 1} arglist E { initialize queue by E .place arglist.count: = 1}