CocoR/Test1/gen/TNoFld.mod

(* Generated by SimpleM backend *)
MODULE TNoFld;
TYPE
  R = RECORD
    a : INTEGER
  END;
VAR
  p : R;
BEGIN
  p.b := 1
END TNoFld.