module swap

public procedure main(args) =
  a := "foo";
  b := "bar";
  (a := b | b := a);
  print_line(a);
  print_line(b)