procedure main()
   x := 1
   y := 2
   x :=: y
   write(x," ",y)
   # swap that will reverse if surrounding expression fails
   if x <-> y & x < y then write(x, " ", y)
end