% example19.sil %
x := ?;
if (x < 0) then
  x := - x
else if (x = 0) then
  x := 1
else
  skip 
fi fi;;