while false 
  {x := 1.}. // This will never happen
print "x = ". print x. printnl. // x should not be defined.