j := 10;
i := 5;
show j, i;
swap(j,i);
show j, i;

boolean truth[];
truth1 := true;
truth2 := false;
show truth1, truth2;
swap(truth1,truth2);
show truth1, truth2;