% example70.sil %
while x <> y do
  x := x - 1;
  y := y + 1
od;;