Define swap(swapvar1, swapvar2) = Prgm Local swaptmp #swapvar1 → swaptmp #swapvar2 → #swapvar1 swaptmp → #swapvar2 EndPrgm 1 → x 2 → y swap("x", "y") x 2 y 1