% example54.sil %
while Nat < 0 do skip od;
while Pos <= 0 do skip od;
k := 0;
while (i - j >= 1) do
  k := k + 1;
  i := i - Nat;
  j := j - Pos
od;;