use(io). swap(x:var(int),y:var(int)):expr(void)=( tmp:var(int). tmp:=x; x:=y; y:=tmp ). a:var(int). b:var(int). a:=10; b:=20; print("before: a="); print(a); print(", b="); print(b); print('\n'); swap(a,b); print("after: a="); print(a); print(", b="); print(b); print('\n')