CocoR/Test1/gen/Comments.mod

(* Generated by SimpleM backend *)
MODULE Comments;
VAR
  x : INTEGER;
BEGIN
  x := 1;
  x := x + 1
END Comments.