record array(a,b,c,d,e,f,g) procedure dummy(u,v,x,y,z) suspend u | v return x end procedure main() write("x := 1 ----> ",image(x := 1) | "none") write("y := 2 ----> ",image(y := 2) | "none") write("x <-> y ----> ",image(x <-> y) | "none") write("y <-> x ----> ",image(y <-> x) | "none") write("(x <-> y) & &fail ----> ",image((x <-> y) & &fail) | "none") write("x ----> ",image(x) | "none") write("y ----> ",image(y) | "none") write("(1 <-> y) & &fail ----> ",image((1 <-> y) & &fail) | "none") end