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) & &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