CocoR/Test1/gen/TCond.mod

(* Generated by SimpleM backend *)
MODULE TCond;
VAR
  x : INTEGER;
BEGIN
  WHILE x DO
  x := x - 1
  END
END TCond.