t_bad_cond.mod 74 B

1234
  1. MODULE TCond;
  2. VAR x : INTEGER;
  3. BEGIN WHILE x DO x := x - 1 END
  4. END TCond.