M2compiler-V1/M2c.atg

COMPILER M2c
(* Modula-2 program modules with procedures, MC64 backend
   (see MGen for details).

   - program module only, no DEFINITION / IMPLEMENTATION split
   - no local modules, no EXPORT, no PRIORITY
   - procedures: declarations (nested), value and VAR parameters,
     functions with RETURN, recursion, FORWARD headings;
     no procedure types/variables, no cones
   - statements: assignment, procedure call, IF, CASE, WHILE,
     REPEAT, LOOP/EXIT, FOR, WITH, RETURN
   - symbol table (SymTab) with static type checking: error codes
     200/201/202 and 210-224 (as before), plus 231 (procedure
     forward mismatch or missing body), 232 (bad RETURN), 233
     (invalid procedure call); same lenient rules (single pass,
     declare-before-use; INTEGER, CARDINAL and subranges form one
     integer family; no mixed INTEGER/REAL arithmetic; INTEGER
     assigns to REAL; 1-character literal is CHAR; InvalidType
     suppresses follow-on errors)
   - backend (MGen): single-module MC64 image <ModName>.MC4,
     runnable with mcint. Procedures take table entries 1..N
     (0 = module body), run with ENTER frames, called via ED
     (global), EC (directly nested) or EE (display walk); actuals
     evaluate left-to-right into temps, then push reversed.
     Lowered: scalar globals and frame variables, CONST literals,
     SET masks with literals/IN/=/#; full scalar expressions;
     control flow via E0/E1 jumps. The rest parses and type-checks
     but gets error 230: ARRAY/RECORD/POINTER variables, string
     variables, WITH, non-literal CONST expressions and BY steps,
     EXIT outside LOOP, imported names used as values.
   - test convention (the language has no I/O): a global
       VAR ExitCode : INTEGER;
     is printed as decimal + CRLF through an embedded helper;
     without it the program just ends.
   - known semantic edges: INTEGER DIV/MOD truncate toward zero;
     CARDINAL past MAXINT compares as signed; AND/OR are eager;
     REAL widens to binary64; at most 64 procedures, 64 actuals
     per call, 16 names per FP-section, 8-deep nested calls. *)

IMPORT SymTab, MGen;

CHARACTERS
  eol      = CHR(13) .
  letter   = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz" .
  digit    = "0123456789" .
  hexDigit = digit + "ABCDEF" .
  noQuote1 = ANY - "'" - eol .
  noQuote2 = ANY - '"' - eol .

IGNORE CHR(9) .. CHR(13)

COMMENTS
  FROM "(*" TO "*)" NESTED

TOKENS
  ident   = letter { letter | digit } .
  integer = digit { digit }
          | digit { digit } CONTEXT("..")
          | digit { hexDigit } "H" .
  real    = digit { digit } "." { digit }
            [ "E" [ "+" | "-" ] digit { digit } ] .
  string  = "'" { noQuote1 } "'"
          | '"' { noQuote2 } '"' .

PRODUCTIONS
  M2c                                   (. VAR m1, m2: SymTab.Name; .)
    = "MODULE"
      GetIdent<m1>                      (. SymTab.Init; MGen.OpenModule(m1);
                                           IF ~SymTab.Enter(m1, SymTab.KindModule)
                                           THEN SemError(200) END .)
      ";"
      { Import } Block<FALSE> GetIdent<m2>
                                        (. IF ~SymTab.Equal(m1, m2)
                                           THEN SemError(202) END .)
      "."                               (. IF SymTab.AnyForward() THEN
                                           SemError(231)
                                         END;
                                         MGen.EndModule;
                                         SymTab.PrintTable; .) .
  Import                                (. VAR n: SymTab.Name; .)
    = "FROM"
      GetIdent<n>                       (. IF ~SymTab.Enter(n, SymTab.KindImport)
                                           THEN SemError(200) END .)
      "IMPORT"
      ImportList ";"
    | "IMPORT"
      ImportList ";" .
  ImportList                            (. VAR n: SymTab.Name; .)
    = GetIdent<n>                       (. IF ~SymTab.Enter(n, SymTab.KindImport)
                                           THEN SemError(200) END .)
      { ","
        GetIdent<n>                     (. IF ~SymTab.Enter(n, SymTab.KindImport)
                                           THEN SemError(200) END .) } .
  Block <isProc: BOOLEAN>               (. VAR began: BOOLEAN; .)
    =                                   (. began := FALSE; .)
      { Declaration }
      [ "BEGIN"                         (. began := TRUE;
                                           IF isProc THEN
                                             MGen.ProcEntry(
                                               SymTab.CurProc(),
                                               SymTab.ProcNLocals())
                                           ELSE MGen.BeginBody
                                           END; .)
        StatSeq ]
      "END"                             (. IF isProc THEN
                                           IF ~began THEN
                                             MGen.ProcEntry(
                                               SymTab.CurProc(),
                                               SymTab.ProcNLocals())
                                           END;
                                           IF SymTab.InFunction() THEN
                                             MGen.PushInt(0)
                                           END;
                                           MGen.Leave(SymTab.CurNPar(),
                                             SymTab.InFunction())
                                         END; .) .
  Declaration = "CONST"
                          {
                            ConstDecl ";" }
              | "TYPE"
                          {
                            TypeDecl ";" }
              | "VAR"
                          {
                            VarDecl ";" }
              | ProcedureDecl ";" .
  ConstDecl                             (. VAR n: SymTab.Name;
                                             t: SymTab.TypeIndex;
                                             lx: MGen.LitStr;
                                             cls: INTEGER; .)
    = GetIdent<n>                       (. IF ~SymTab.Enter(n, SymTab.KindConst)
                                           THEN SemError(200) END .)
      "="                               (. MGen.NoEmitEnter; .)
      ConstExpr<t, lx>                  (. SymTab.SetSymType(n, t);
                                           cls := SymTab.ClassOf(t);
                                           IF cls = SymTab.ClStr THEN
                                             SemError(230)
                                           ELSIF ~MGen.IsLit(lx) THEN
                                             SemError(230)
                                           END;
                                           MGen.DeclConst(n, lx, t);
                                           MGen.NoEmitExit; .) .
  ConstExpr <VAR t: SymTab.TypeIndex; VAR lx: MGen.LitStr>
                                        (. VAR vD: BOOLEAN;
                                             vnD: SymTab.Name; .)
    = Expr<t, lx, vD, vnD> .
  TypeDecl                              (. VAR n: SymTab.Name;
                                             t0, t1: SymTab.TypeIndex; .)
    = GetIdent<n>                       (. IF ~SymTab.Enter(n, SymTab.KindType)
                                           THEN SemError(200) END;
                                           t0 := SymTab.NewAlias();
                                           SymTab.SetSymType(n, t0); .)
      "="
      Type<t1>                          (. IF t1 = t0 THEN SemError(223);
                                             SymTab.SetTarget(t0,
                                               SymTab.InvalidType)
                                           ELSE SymTab.SetTarget(t0, t1) END; .) .
  VarDecl                               (. VAR t: SymTab.TypeIndex;
                                             i: CARDINAL;
                                             nm: SymTab.Name;
                                             cls: INTEGER; .)
    = VarIdents ":"
      Type<t>                           (. cls := SymTab.ClassOf(t);
                                           IF (cls # SymTab.ClInt)
                                              & (cls # SymTab.ClReal)
                                              & (cls # SymTab.ClBool)
                                              & (cls # SymTab.ClChar)
                                              & (cls # SymTab.ClEnum)
                                              & (cls # SymTab.ClSet) THEN
                                             SemError(230)
                                           END;
                                           i := 0;
                                           WHILE i < SymTab.PendCount() DO
                                             SymTab.PendName(i, nm);
                                             IF SymTab.SymDepth(nm) = 0 THEN
                                               MGen.DeclVar(nm)
                                             END;
                                             INC(i)
                                           END;
                                           SymTab.FixPending(t); .) .
  VarIdents                             (. VAR n: SymTab.Name; .)
    = GetIdent<n>                       (. IF ~SymTab.EnterPending(n,
                                             SymTab.KindVar)
                                           THEN SemError(200) END .)
      { ","
        GetIdent<n>                     (. IF ~SymTab.EnterPending(n,
                                             SymTab.KindVar)
                                           THEN SemError(200) END .) } .
  ProcedureDecl                         (. VAR n, m: SymTab.Name;
                                             rt: SymTab.TypeIndex;
                                             hasR, ok: BOOLEAN;
                                             endL: INTEGER; .)
    = "PROCEDURE"                       (. hasR := FALSE; .)
      GetIdent<n>                       (. IF SymTab.IsForward(n) THEN
                                             SymTab.ReuseProc(n)
                                           ELSIF ~SymTab.EnterProc(n) THEN
                                             SemError(200)
                                           END;
                                           SymTab.OpenProcScope;
                                           endL := MGen.NewLabel();
                                           MGen.Jmp(endL); .)
      [ "(" FormalParams ")" ]
      [ ":" QualIdent<rt>               (. hasR := TRUE; .) ]
                                        (. IF hasR THEN
                                             ok := SymTab.SetProcRet(rt)
                                           ELSE
                                             ok := SymTab.SetProcRet(
                                                     SymTab.InvalidType)
                                           END;
                                           IF ~ok THEN SemError(231) END;
                                           IF ~SymTab.VerifyProc() THEN
                                             SemError(231)
                                           END; .)
      ";"
      ( Block<TRUE> GetIdent<m>         (. IF ~SymTab.Equal(n, m) THEN
                                           SemError(202) END;
                                           MGen.DefLabel(endL);
                                           SymTab.CloseProc; .)
      | "FORWARD"                     (. SymTab.SetForward;
                                           SymTab.CloseProc;
                                           MGen.DefLabel(endL); .) ) .
  FormalParams = FPSection { ";" FPSection } .
  FPSection                             (. VAR isV: BOOLEAN;
                                             nn, i: CARDINAL;
                                             pn: ARRAY [0 .. 15] OF SymTab.Name;
                                             n: SymTab.Name;
                                             t: SymTab.TypeIndex; .)
    =                                   (. isV := FALSE; nn := 0; .)
      [ "VAR"                           (. isV := TRUE; .) ]
      GetIdent<n>                       (. IF nn <= HIGH(pn) THEN
                                             MGen.CopyName(n, pn[nn])
                                           END;
                                           INC(nn); .)
      { "," GetIdent<n>                 (. IF nn <= HIGH(pn) THEN
                                             MGen.CopyName(n, pn[nn])
                                           END;
                                           INC(nn); .) }
      ":" Type<t>                       (. i := 0;
                                           WHILE i < nn DO
                                             IF i <= HIGH(pn) THEN
                                               IF ~SymTab.EnterParam(
                                                    pn[i], isV, t) THEN
                                                 SemError(200)
                                               END
                                             END;
                                             INC(i)
                                           END; .) .
  QualIdent <VAR t: SymTab.TypeIndex>
                                        (. VAR n, m: SymTab.Name; .)
    = GetIdent<n>                       (. IF ~SymTab.Lookup(n) THEN
                                             SemError(201);
                                             t := SymTab.InvalidType
                                           ELSIF (SymTab.SymKind(n) #
                                                  SymTab.KindType)
                                             & (SymTab.SymKind(n) #
                                                SymTab.KindPredef)
                                             & (SymTab.SymKind(n) #
                                                SymTab.KindImport) THEN
                                             SemError(221);
                                             t := SymTab.InvalidType
                                           ELSE t := SymTab.SymType(n) END; .)
      { "."
        GetIdent<m>                     (. t := SymTab.InvalidType; .) } .

  (* Types: ProcedureType removed; subrange factored for LL(1) *)
  Type <VAR t: SymTab.TypeIndex>
    = SimpleType<t> | ArrayType<t> | RecordType<t>
    | SetType<t> | PointerType<t> .
  SimpleType <VAR t: SymTab.TypeIndex>
                                        (. VAR t1, t2: SymTab.TypeIndex;
                                             lx1, lx2: MGen.LitStr;
                                             vD: BOOLEAN;
                                             vnD: SymTab.Name; .)
    = QualIdent<t> [ "["
                      (. MGen.NoEmitEnter; .)
                      ConstExpr<t1, lx1> (. IF (t1 # SymTab.InvalidType)
                                            & (SymTab.ClassOf(t1) #
                                               SymTab.ClInt)
                                            & (SymTab.ClassOf(t1) #
                                               SymTab.ClChar)
                                            & (SymTab.ClassOf(t1) #
                                               SymTab.ClEnum) THEN
                                            SemError(224) END; .)
                      ".."
                      ConstExpr<t2, lx2> (. IF (t2 # SymTab.InvalidType)
                                            & (SymTab.ClassOf(t2) #
                                               SymTab.ClInt)
                                            & (SymTab.ClassOf(t2) #
                                               SymTab.ClChar)
                                            & (SymTab.ClassOf(t2) #
                                               SymTab.ClEnum) THEN
                                            SemError(224) END; .)
                      "]"
                                     (. t := SymTab.NewSub(t1);
                                        MGen.NoEmitExit; .) ]
    | "["                               (. MGen.NoEmitEnter; .)
      ConstExpr<t1, lx1>                (. IF (t1 # SymTab.InvalidType)
                                            & (SymTab.ClassOf(t1) #
                                               SymTab.ClInt)
                                            & (SymTab.ClassOf(t1) #
                                               SymTab.ClChar)
                                            & (SymTab.ClassOf(t1) #
                                               SymTab.ClEnum) THEN
                                            SemError(224) END; .)
      ".."
      ConstExpr<t2, lx2>                (. IF (t2 # SymTab.InvalidType)
                                            & (SymTab.ClassOf(t2) #
                                               SymTab.ClInt)
                                            & (SymTab.ClassOf(t2) #
                                               SymTab.ClChar)
                                            & (SymTab.ClassOf(t2) #
                                               SymTab.ClEnum) THEN
                                            SemError(224) END; .)
      "]"                               (. t := SymTab.NewSub(t1);
                                           MGen.NoEmitExit; .)
    | Enum<t> .
  Enum <VAR t: SymTab.TypeIndex>
                                        (. VAR n: SymTab.Name;
                                             ord: INTEGER; .)
    = "("                               (. t := SymTab.NewEnum();
                                           ord := 0; .)
      GetIdent<n>                       (. IF ~SymTab.Enter(n,
                                             SymTab.KindConst)
                                           THEN SemError(200) END;
                                           SymTab.SetSymType(n, t);
                                           MGen.DeclConstInt(n, ord);
                                           INC(ord); .)
      { ","
        GetIdent<n>                     (. IF ~SymTab.Enter(n,
                                             SymTab.KindConst)
                                           THEN SemError(200) END;
                                           SymTab.SetSymType(n, t);
                                           MGen.DeclConstInt(n, ord);
                                           INC(ord); .) }
      ")" .
  ArrayType <VAR t: SymTab.TypeIndex>
                                        (. VAR s, s2, e: SymTab.TypeIndex; .)
    = "ARRAY"
      SimpleType<s>                     (. IF (s # SymTab.InvalidType)
                                            & (SymTab.ClassOf(s) #
                                               SymTab.ClInt)
                                            & (SymTab.ClassOf(s) #
                                               SymTab.ClChar)
                                            & (SymTab.ClassOf(s) #
                                               SymTab.ClEnum) THEN
                                            SemError(224) END; .)
      { ","
        SimpleType<s2>                  (. IF (s2 # SymTab.InvalidType)
                                            & (SymTab.ClassOf(s2) #
                                               SymTab.ClInt)
                                            & (SymTab.ClassOf(s2) #
                                               SymTab.ClChar)
                                            & (SymTab.ClassOf(s2) #
                                               SymTab.ClEnum) THEN
                                            SemError(224) END; .) }
      "OF"
      Type<e>                           (. t := SymTab.NewArray(e); .) .
  RecordType <VAR t: SymTab.TypeIndex>
    = "RECORD"                          (. t := SymTab.NewRecord(); .)
      FieldSeq<t>
      "END" .
  FieldSeq <rt: SymTab.TypeIndex>
    = Field<rt> { ";"
                  Field<rt> } .
  Field <rt: SymTab.TypeIndex>
                                        (. VAR et: SymTab.TypeIndex; .)
    = [ FieldIdents<rt> ":"
        Type<et>                       (. SymTab.FixPendingF(rt, et); .) ] .
  FieldIdents <rt: SymTab.TypeIndex>
                                        (. VAR n: SymTab.Name; .)
    = GetIdent<n>                       (. IF ~SymTab.FieldPending(rt, n)
                                           THEN SemError(200) END .)
      { ","
        GetIdent<n>                     (. IF ~SymTab.FieldPending(rt, n)
                                           THEN SemError(200) END .) } .
  SetType <VAR t: SymTab.TypeIndex>
                                        (. VAR s: SymTab.TypeIndex; .)
    = "SET"
      "OF"
      SimpleType<s>                     (. IF (s # SymTab.InvalidType)
                                            & (SymTab.ClassOf(s) #
                                               SymTab.ClInt)
                                            & (SymTab.ClassOf(s) #
                                               SymTab.ClChar)
                                            & (SymTab.ClassOf(s) #
                                               SymTab.ClEnum) THEN
                                            SemError(224) END;
                                           t := SymTab.NewSet(s); .) .
  PointerType <VAR t: SymTab.TypeIndex>
                                        (. VAR b: SymTab.TypeIndex; .)
    = "POINTER"
      "TO"
      Type<b>                           (. t := SymTab.NewPtr(b); .) .

  (* Statements: RETURN added; calls via AssignOrCall *)
  StatSeq    = Stat { ";"
                     Stat } .
  Stat                                  (. VAR lx: INTEGER; .)
    = [ AssignOrCall | IfStat | CaseStat | WhileStat
      | RepeatStat | LoopStat | ForStat | WithStat | ReturnStat
      | "EXIT"                 (. IF MGen.TopLoop(lx) THEN
                                    MGen.Jmp(lx)
                                  ELSE SemError(230) END; .) ] .
  AssignOrCall                          (. VAR dt, et: SymTab.TypeIndex;
                                             dk: INTEGER;
                                             bn: SymTab.Name;
                                             lxD, lxe: MGen.LitStr;
                                             vE: BOOLEAN;
                                             vnE: SymTab.Name;
                                             sfx: BOOLEAN;
                                             okC: BOOLEAN;
                                             isR, conv,
                                             storable: BOOLEAN; .)
    =                                   (. sfx := FALSE; .)
      DesignHead<dt, dk, bn, FALSE, lxD>
      ( DesignTail<dt, dk, bn, FALSE, lxD, sfx> ":="
                                        (. storable :=
                                             (dk = SymTab.KindVar)
                                             OR (dk = SymTab.KindParam)
                                             OR (dk = SymTab.KindVarPar);
                                           IF storable THEN
                                             MGen.StoreSetup(bn)
                                           END; .)
        Expr<et, lxe, vE, vnE>          (. IF (dt # SymTab.InvalidType)
                                           & (dk # SymTab.KindVar)
                                           & (dk # SymTab.KindParam)
                                           & (dk # SymTab.KindVarPar)
                                           & (dk # SymTab.KindField)
                                           & (dk # SymTab.KindImport) THEN
                                           SemError(210)
                                         ELSIF ~SymTab.Assignable(et, dt) THEN
                                           SemError(210) END;
                                         IF dk = SymTab.KindImport THEN
                                           SemError(230)
                                         END;
                                         isR := (dt # SymTab.InvalidType)
                                                & (SymTab.ClassOf(dt)
                                                   = SymTab.ClReal);
                                         conv := isR
                                                 & SymTab.IsIntFamily(et);
                                         IF storable THEN
                                           IF conv THEN
                                             MGen.IntToReal
                                           END;
                                           MGen.StoreFinish(bn)
                                         ELSE MGen.Drop
                                         END; .)
      | CallTail<bn, sfx, FALSE, okC, FALSE>
      |                             (. MGen.ActBegin(bn);
                                       IF MGen.ActEnd(bn, FALSE, FALSE) # 0 THEN
                                         SemError(233)
                                       END; .) ) .
  CallTail <pn: SymTab.Name; sfx: BOOLEAN; inExpr: BOOLEAN;
            VAR ok: BOOLEAN; hasDead: BOOLEAN>
                                        (. VAR t: SymTab.TypeIndex;
                                             lx: MGen.LitStr;
                                             v: BOOLEAN;
                                             vn: SymTab.Name; .)
    = "("                               (. ok := FALSE;
                                           IF hasDead THEN MGen.Drop END;
                                           MGen.ActBegin(pn); .)
      [ Expr<t, lx, v, vn>              (. IF MGen.ActValue(t, v, vn) # 0 THEN
                                           SemError(233)
                                         END; .)
        { "," Expr<t, lx, v, vn>        (. IF MGen.ActValue(t, v, vn) # 0 THEN
                                           SemError(233)
                                         END; .) } ]
      ")"                               (. IF MGen.ActEnd(pn, sfx, inExpr) # 0
                                         THEN SemError(233)
                                         ELSE ok := TRUE
                                         END; .) .
  IfStat                                (. VAR t: SymTab.TypeIndex;
                                             lxC: MGen.LitStr;
                                             vC: BOOLEAN;
                                             vnC: SymTab.Name;
                                             elseL, endL: INTEGER;
                                             hasElse: BOOLEAN; .)
    = "IF"
      Expr<t, lxC, vC, vnC>             (. IF ~SymTab.BoolCheck(t) THEN
                                           SemError(214) END;
                                           elseL := MGen.NewLabel();
                                           endL := MGen.NewLabel();
                                           MGen.Jz(elseL);
                                           hasElse := FALSE; .)
      "THEN"
      StatSeq
      { "ELSIF"                         (. MGen.Jmp(endL);
                                           MGen.DefLabel(elseL); .)
        Expr<t, lxC, vC, vnC>           (. IF ~SymTab.BoolCheck(t) THEN
                                           SemError(214) END;
                                           elseL := MGen.NewLabel();
                                           MGen.Jz(elseL); .)
        "THEN"
        StatSeq }
      [ "ELSE"                          (. MGen.Jmp(endL);
                                           MGen.DefLabel(elseL);
                                           hasElse := TRUE; .)
        StatSeq ]
      "END"                             (. IF ~hasElse THEN
                                           MGen.DefLabel(elseL)
                                         END;
                                         MGen.DefLabel(endL); .) .
  CaseStat                              (. VAR st: SymTab.TypeIndex;
                                             lxS: MGen.LitStr;
                                             vS: BOOLEAN;
                                             vnS: SymTab.Name;
                                             tmp, endL: INTEGER; .)
    = "CASE"
      Expr<st, lxS, vS, vnS>            (. tmp := MGen.TempGlobal();
                                           MGen.StoreTemp(tmp);
                                           endL := MGen.NewLabel(); .)
      "OF"
      Case<st, tmp, endL> { "|"
                 Case<st, tmp, endL> }
      [ "ELSE"
        StatSeq ]
      "END"                             (. MGen.DefLabel(endL); .) .
  Case <sel: SymTab.TypeIndex; tmp: INTEGER; endL: INTEGER>
                                        (. VAR lB, lN: INTEGER; .)
    = [ LabelList<sel, tmp, lB, lN> ":" (. MGen.DefLabel(lB); .)
        StatSeq                         (. MGen.Jmp(endL);
                                           MGen.DefLabel(lN); .) ] .
  LabelList <sel: SymTab.TypeIndex; tmp: INTEGER;
             VAR lB: INTEGER; VAR lN: INTEGER>
    =                                   (. lB := MGen.NewLabel();
                                           lN := MGen.NewLabel(); .)
      Labels<sel, tmp, lB> { ","
                    Labels<sel, tmp, lB> }
                                        (. MGen.Jmp(lN); .) .
  Labels <sel: SymTab.TypeIndex; tmp: INTEGER; bodyL: INTEGER>
                                        (. VAR t, t2: SymTab.TypeIndex;
                                             lx1, lx2: MGen.LitStr;
                                             v1, v2: BOOLEAN;
                                             vn1, vn2: SymTab.Name;
                                             ta, tb, chunk: INTEGER;
                                             r, hasRange: BOOLEAN; .)
    = ConstExpr<t, lx1>                 (. IF ~SymTab.EqCheck(t, sel) THEN
                                           SemError(213) END;
                                           r := (SymTab.ClassOf(sel)
                                                 = SymTab.ClReal)
                                                & (SymTab.ClassOf(t)
                                                   = SymTab.ClReal);
                                           ta := MGen.TempGlobal();
                                           MGen.StoreTemp(ta);
                                           hasRange := FALSE; .)
      [ ".."
        ConstExpr<t2, lx2>              (. IF ~SymTab.EqCheck(t2, sel) THEN
                                           SemError(213) END;
                                           tb := MGen.TempGlobal();
                                           MGen.StoreTemp(tb);
                                           hasRange := TRUE; .) ]
                                        (. IF hasRange THEN
                                             MGen.LoadTemp(tmp);
                                             MGen.LoadTemp(ta);
                                             IF r THEN MGen.RealGe
                                             ELSE MGen.IGe END;
                                             MGen.LoadTemp(tmp);
                                             MGen.LoadTemp(tb);
                                             IF r THEN MGen.RealLe
                                             ELSE MGen.ILe END;
                                             MGen.And
                                           ELSE
                                             MGen.LoadTemp(tmp);
                                             MGen.LoadTemp(ta);
                                             IF r THEN MGen.RealEq
                                             ELSE MGen.Eq END
                                           END;
                                           chunk := MGen.NewLabel();
                                           MGen.Jz(chunk);
                                           MGen.Jmp(bodyL);
                                           MGen.DefLabel(chunk); .) .
  WhileStat                             (. VAR t: SymTab.TypeIndex;
                                             lxC: MGen.LitStr;
                                             vC: BOOLEAN;
                                             vnC: SymTab.Name;
                                             topL, endL: INTEGER; .)
    = "WHILE"                           (. topL := MGen.NewLabel();
                                           endL := MGen.NewLabel();
                                           MGen.DefLabel(topL); .)
      Expr<t, lxC, vC, vnC>             (. IF ~SymTab.BoolCheck(t) THEN
                                           SemError(214) END;
                                           MGen.Jz(endL); .)
      "DO"
      StatSeq
      "END"                             (. MGen.Jmp(topL);
                                           MGen.DefLabel(endL); .) .
  RepeatStat                            (. VAR t: SymTab.TypeIndex;
                                             lxC: MGen.LitStr;
                                             vC: BOOLEAN;
                                             vnC: SymTab.Name;
                                             topL: INTEGER; .)
    = "REPEAT"                          (. topL := MGen.NewLabel();
                                           MGen.DefLabel(topL); .)
      StatSeq
      "UNTIL"
      Expr<t, lxC, vC, vnC>             (. IF ~SymTab.BoolCheck(t) THEN
                                           SemError(214) END;
                                           MGen.Jz(topL); .) .
  LoopStat                              (. VAR topL, exitL: INTEGER; .)
    = "LOOP"                            (. topL := MGen.NewLabel();
                                           exitL := MGen.NewLabel();
                                           MGen.DefLabel(topL);
                                           MGen.PushLoop(exitL); .)
      StatSeq
      "END"                             (. MGen.Jmp(topL);
                                           MGen.DefLabel(exitL);
                                           MGen.PopLoop; .) .
  ForStat                               (. VAR n, lv: SymTab.Name;
                                             fk: INTEGER;
                                             lo, hi: SymTab.TypeIndex;
                                             lxLo, lxHi: MGen.LitStr;
                                             vLo, vHi: BOOLEAN;
                                             vnLo, vnHi: SymTab.Name;
                                             byV, ht: INTEGER;
                                             lTop, lChk, lEnd: INTEGER;
                                             neg, storable: BOOLEAN; .)
    = "FOR"
      GetIdent<n>                       (. IF ~SymTab.Lookup(n) THEN
                                            SemError(201);
                                            fk := -1
                                          ELSIF (SymTab.SymKind(n) #
                                                 SymTab.KindVar)
                                            & (SymTab.SymKind(n) #
                                               SymTab.KindParam)
                                            & (SymTab.SymKind(n) #
                                               SymTab.KindVarPar)
                                            & (SymTab.SymKind(n) #
                                               SymTab.KindField) THEN
                                            SemError(220);
                                            fk := -1
                                          ELSIF (SymTab.SymType(n) #
                                                 SymTab.InvalidType)
                                            & ~SymTab.IsIntFamily(
                                                SymTab.SymType(n)) THEN
                                            SemError(220);
                                            fk := -1
                                          ELSE
                                            fk := SymTab.SymKind(n)
                                          END;
                                          MGen.CopyName(n, lv);
                                          storable := (fk = SymTab.KindVar)
                                            OR (fk = SymTab.KindParam)
                                            OR (fk = SymTab.KindVarPar);
                                          IF storable THEN
                                            MGen.StoreSetup(lv)
                                          END; .)
      ":="
      Expr<lo, lxLo, vLo, vnLo>         (. IF (lo # SymTab.InvalidType)
                                           & ~SymTab.IsIntFamily(lo) THEN
                                           SemError(220) END;
                                           IF storable THEN
                                             MGen.StoreFinish(lv)
                                           ELSE MGen.Drop
                                           END; .)
      "TO"
      Expr<hi, lxHi, vHi, vnHi>         (. IF (hi # SymTab.InvalidType)
                                           & ~SymTab.IsIntFamily(hi) THEN
                                           SemError(220) END;
                                           ht := MGen.TempGlobal();
                                           MGen.StoreTemp(ht);
                                           byV := 1; neg := FALSE; .)
      [ "BY"
        ByLit<byV>                      (. neg := byV < 0; .) ]
      "DO"                              (. lTop := MGen.NewLabel();
                                           lChk := MGen.NewLabel();
                                           lEnd := MGen.NewLabel();
                                           MGen.Jmp(lChk);
                                           MGen.DefLabel(lTop); .)
      StatSeq
      "END"                             (. MGen.PushVar(lv);
                                           MGen.PushInt(byV);
                                           MGen.Add;
                                           IF storable THEN
                                             MGen.StoreFinish(lv)
                                           ELSE MGen.Drop
                                           END;
                                           MGen.DefLabel(lChk);
                                           MGen.PushVar(lv);
                                           MGen.LoadTemp(ht);
                                           IF neg THEN MGen.IGe
                                           ELSE MGen.ILe END;
                                           MGen.Jz(lEnd);
                                           MGen.Jmp(lTop);
                                           MGen.DefLabel(lEnd); .) .
  ByLit <VAR v: INTEGER>                (. VAR s: ARRAY [0 .. 255] OF CHAR; .)
    = integer                           (. LexString(s);
                                           IF ~MGen.ParseInt(s, v) THEN
                                             v := 1
                                           END; .)
    | "-" integer                       (. LexString(s);
                                           IF MGen.ParseInt(s, v) THEN
                                             v := -v
                                           ELSE v := -1
                                           END; .) .
  WithStat                              (. VAR dt: SymTab.TypeIndex;
                                             dk: INTEGER;
                                             bnW: SymTab.Name;
                                             lxW: MGen.LitStr;
                                             pushed: BOOLEAN; .)
    = "WITH"
      Design<dt, dk, bnW, FALSE, lxW>   (. pushed := FALSE;
                                           IF dt # SymTab.InvalidType THEN
                                             pushed :=
                                               SymTab.PushRecord(dt);
                                             IF ~pushed THEN
                                               SemError(215)
                                             END
                                           END;
                                           IF pushed THEN
                                             MGen.NoSupEnter;
                                             SemError(230)
                                           END; .)
      "DO"
      StatSeq
      "END"                             (. IF pushed THEN
                                             SymTab.PopScope;
                                             MGen.NoSupExit
                                           END; .) .
  ReturnStat                            (. VAR t: SymTab.TypeIndex;
                                             lx: MGen.LitStr;
                                             v: BOOLEAN;
                                             vn: SymTab.Name;
                                             hasE, doRet, conv: BOOLEAN; .)
    = "RETURN"                          (. hasE := FALSE; .)
      [ Expr<t, lx, v, vn>              (. hasE := TRUE;
                                           doRet := FALSE;
                                           IF ~SymTab.InProc() THEN
                                             SemError(232)
                                           ELSIF ~SymTab.InFunction() THEN
                                             SemError(232)
                                           ELSIF ~SymTab.Assignable(
                                                     t, SymTab.CurRet()) THEN
                                             SemError(232)
                                           ELSE doRet := TRUE
                                           END;
                                           conv := doRet
                                                   & SymTab.IsIntFamily(t)
                                                   & (SymTab.ClassOf(
                                                        SymTab.CurRet())
                                                      = SymTab.ClReal);
                                           IF doRet THEN
                                             IF conv THEN
                                               MGen.IntToReal
                                             END;
                                             MGen.Leave(
                                               SymTab.CurNPar(), TRUE)
                                           ELSE MGen.Drop
                                           END; .) ]
                                        (. IF ~hasE THEN
                                             IF ~SymTab.InProc() THEN
                                               SemError(232)
                                             ELSIF SymTab.InFunction() THEN
                                               SemError(232)
                                             ELSE MGen.Leave(
                                               SymTab.CurNPar(), FALSE)
                                             END
                                           END; .) .

  (* Expressions: Designator without ActualParameters (calls use
     CallTail). Each expression synthesizes its SymTab type in t,
     the source text in lx for single literals ("" otherwise), and
     whether it is a plain variable (v/vn) for VAR actuals.
     Values travel on the MC64 stack. *)
  DesignHead <VAR t: SymTab.TypeIndex; VAR k: INTEGER;
              VAR bn: SymTab.Name; doLoad: BOOLEAN; VAR lx: MGen.LitStr>
                                        (. VAR n: SymTab.Name;
                                             cls: INTEGER; .)
    = GetIdent<n>                       (. MGen.CopyName(n, bn);
                                           lx[0] := 0C;
                                           IF ~SymTab.Lookup(n) THEN
                                             SemError(201);
                                             t := SymTab.InvalidType; k := -1;
                                             IF doLoad THEN
                                               MGen.PushInt(0)
                                             END
                                           ELSE
                                             t := SymTab.SymType(n);
                                             k := SymTab.SymKind(n);
                                             IF k = SymTab.KindConst THEN
                                               IF SymTab.Equal(n, "TRUE") THEN
                                                 t := SymTab.BoolType();
                                                 MGen.CopyName("TRUE", lx);
                                                 IF doLoad THEN
                                                   MGen.PushInt(1)
                                                 END
                                               ELSIF SymTab.Equal(n,
                                                       "FALSE") THEN
                                                 t := SymTab.BoolType();
                                                 MGen.CopyName("FALSE", lx);
                                                 IF doLoad THEN
                                                   MGen.PushInt(0)
                                                 END
                                               ELSE
                                                 cls :=
                                                   SymTab.ClassOf(t);
                                                 IF (t #
                                                     SymTab.InvalidType)
                                                    & (cls # SymTab.ClStr)
                                                    & ((cls = SymTab.ClInt)
                                                    OR (cls = SymTab.ClReal)
                                                    OR (cls = SymTab.ClBool)
                                                    OR (cls = SymTab.ClChar)
                                                    OR (cls
                                                        = SymTab.ClEnum)) THEN
                                                   IF doLoad THEN
                                                     MGen.LoadVar(n)
                                                   END
                                                 ELSIF doLoad THEN
                                                   MGen.PushInt(0)
                                                 END
                                               END
                                             ELSIF (k = SymTab.KindVar)
                                                OR (k = SymTab.KindParam)
                                                OR (k
                                                    = SymTab.KindVarPar) THEN
                                               cls := SymTab.ClassOf(t);
                                               IF (cls = SymTab.ClInt)
                                                  OR (cls = SymTab.ClReal)
                                                  OR (cls = SymTab.ClBool)
                                                  OR (cls = SymTab.ClChar)
                                                  OR (cls
                                                      = SymTab.ClEnum)
                                                  OR (cls
                                                      = SymTab.ClSet) THEN
                                                 IF doLoad THEN
                                                   MGen.PushVar(n)
                                                 END
                                               ELSE SemError(230);
                                                 IF doLoad THEN
                                                   MGen.PushInt(0)
                                                 END
                                               END
                                             ELSE
                                               IF doLoad THEN
                                                 MGen.PushInt(0)
                                               END;
                                               IF k = SymTab.KindField THEN
                                                 IF ~MGen.NoSup() THEN
                                                   SemError(230)
                                                 END
                                               ELSIF k
                                                     = SymTab.KindImport THEN
                                                 SemError(230)
                                               END
                                             END
                                           END; .) .
  DesignTail <VAR t: SymTab.TypeIndex; VAR k: INTEGER;
              VAR bn: SymTab.Name; doLoad: BOOLEAN; VAR lx: MGen.LitStr;
              VAR sfx: BOOLEAN>
                                        (. VAR m: SymTab.Name;
                                             it: SymTab.TypeIndex;
                                             lxI: MGen.LitStr;
                                             vI: BOOLEAN;
                                             vnI: SymTab.Name; .)
    =                                   (. sfx := FALSE; .)
      { "."                             (. sfx := TRUE; lx[0] := 0C; .)
        GetIdent<m>                     (. IF t = SymTab.InvalidType THEN
                                           ELSIF SymTab.ClassOf(t) #
                                                 SymTab.ClRecord THEN
                                             SemError(215);
                                             t := SymTab.InvalidType
                                           ELSIF ~SymTab.FieldExists(t, m) THEN
                                             SemError(216);
                                             t := SymTab.InvalidType
                                           ELSE t := SymTab.FieldType(t, m);
                                             SemError(230)
                                           END;
                                           IF doLoad THEN
                                             MGen.Drop; MGen.PushInt(0)
                                           END; .)
      | "["                             (. sfx := TRUE; lx[0] := 0C; .)
        Expr<it, lxI, vI, vnI>          (. MGen.Drop;
                                           IF t = SymTab.InvalidType THEN
                                           ELSIF SymTab.ClassOf(t) #
                                                 SymTab.ClArray THEN
                                             SemError(217);
                                             t := SymTab.InvalidType
                                           ELSIF (it #
                                                  SymTab.InvalidType)
                                             & ~SymTab.IsIntFamily(it) THEN
                                             SemError(218);
                                             t := SymTab.InvalidType
                                           ELSE t :=
                                             SymTab.ArrayElem(t);
                                             SemError(230)
                                           END;
                                           IF doLoad THEN
                                             MGen.Drop; MGen.PushInt(0)
                                           END; .)
        { ","
          Expr<it, lxI, vI, vnI>        (. MGen.Drop;
                                           IF (it # SymTab.InvalidType)
                                           & ~SymTab.IsIntFamily(it) THEN
                                           SemError(218) END; .) }
        "]"
      | "^"                             (. sfx := TRUE; lx[0] := 0C; .)
                                        (. IF t = SymTab.InvalidType THEN
                                           ELSIF SymTab.ClassOf(t) #
                                                 SymTab.ClPtr THEN
                                             SemError(219);
                                             t := SymTab.InvalidType
                                           ELSE t := SymTab.PtrBase(t);
                                             SemError(230)
                                           END;
                                           IF doLoad THEN
                                             MGen.Drop; MGen.PushInt(0)
                                           END; .) } .
  Design <VAR t: SymTab.TypeIndex; VAR k: INTEGER;
          VAR bn: SymTab.Name; doLoad: BOOLEAN; VAR lx: MGen.LitStr>
                                        (. VAR sfxD: BOOLEAN; .)
    = DesignHead<t, k, bn, doLoad, lx>
      DesignTail<t, k, bn, doLoad, lx, sfxD> .
  Expr <VAR t: SymTab.TypeIndex; VAR lx: MGen.LitStr;
        VAR v: BOOLEAN; VAR vn: SymTab.Name>
                                        (. VAR t2: SymTab.TypeIndex;
                                             tc, op: INTEGER;
                                             lx2: MGen.LitStr;
                                             v2: BOOLEAN;
                                             vn2: SymTab.Name;
                                             r: BOOLEAN; .)
    = SimExpr<t, lx, v, vn> [ Rel<op> SimExpr<t2, lx2, v2, vn2>
      (. lx[0] := 0C; v := FALSE;
         IF op = SymTab.OpIn THEN
           IF SymTab.InCheck(t, t2) THEN
             t := SymTab.BoolType();
             MGen.BitIn
           ELSE SemError(222);
             t := SymTab.InvalidType;
             MGen.Drop; MGen.Drop; MGen.PushInt(0)
           END
         ELSE
           tc := SymTab.ClassOf(t);
           IF SymTab.RelCheck(t, t2, op) THEN
             t := SymTab.BoolType()
           ELSE SemError(213); t := SymTab.InvalidType END;
           IF t # SymTab.InvalidType THEN
             r := tc = SymTab.ClReal;
             IF r THEN
               IF op = SymTab.OpEq THEN MGen.RealEq
               ELSIF (op = SymTab.OpNeq1)
                     OR (op = SymTab.OpNeq2) THEN MGen.RealNe
               ELSIF op = SymTab.OpLt THEN MGen.RealLt
               ELSIF op = SymTab.OpLe THEN MGen.RealLe
               ELSIF op = SymTab.OpGt THEN MGen.RealGt
               ELSE MGen.RealGe END
             ELSE
               IF op = SymTab.OpEq THEN MGen.Eq
               ELSIF (op = SymTab.OpNeq1)
                     OR (op = SymTab.OpNeq2) THEN MGen.Neq
               ELSIF op = SymTab.OpLt THEN MGen.ILt
               ELSIF op = SymTab.OpLe THEN MGen.ILe
               ELSIF op = SymTab.OpGt THEN MGen.IGt
               ELSE MGen.IGe END
             END
           ELSE MGen.Drop; MGen.Drop; MGen.PushInt(0)
           END
         END; .) ] .
  Rel <VAR op: INTEGER>
    = "="                     (. op := SymTab.OpEq; .)
    | "#"                     (. op := SymTab.OpNeq1; .)
    | "<>"                    (. op := SymTab.OpNeq2; .)
    | "<"                     (. op := SymTab.OpLt; .)
    | "<="                    (. op := SymTab.OpLe; .)
    | ">"                     (. op := SymTab.OpGt; .)
    | ">="                    (. op := SymTab.OpGe; .)
    | "IN"                    (. op := SymTab.OpIn; .) .
  SimExpr <VAR t: SymTab.TypeIndex; VAR lx: MGen.LitStr;
           VAR v: BOOLEAN; VAR vn: SymTab.Name>
                                        (. VAR t2, res2: SymTab.TypeIndex;
                                             op: INTEGER;
                                             lx2: MGen.LitStr;
                                             v2: BOOLEAN;
                                             vn2: SymTab.Name;
                                             neg, isR: BOOLEAN; .)
    =                                   (. neg := FALSE; .)
      [ "+" | "-"                       (. neg := TRUE; .) ]
      Term<t, lx, v, vn>                (. IF neg THEN
                                           v := FALSE;
                                           IF MGen.IsLit(lx) THEN
                                             MGen.NegFold(lx, lx)
                                           ELSE lx[0] := 0C
                                           END;
                                           IF SymTab.ClassOf(t)
                                              = SymTab.ClReal THEN
                                             MGen.NegReal
                                           ELSE MGen.NegInt
                                           END
                                         END; .)
      { AddOp<op> Term<t2, lx2, v2, vn2>
      (. lx[0] := 0C; v := FALSE;
         IF op = SymTab.OpOr THEN
           IF SymTab.BoolCheck(t) & SymTab.BoolCheck(t2) THEN
             t := SymTab.BoolType()
           ELSE SemError(212); t := SymTab.InvalidType END;
           MGen.Or
         ELSE
           IF SymTab.ArithCheck(t, t2, FALSE, res2) THEN t := res2
           ELSE SemError(211); t := SymTab.InvalidType END;
           isR := (t # SymTab.InvalidType)
                  & (SymTab.ClassOf(t) = SymTab.ClReal);
           IF op = SymTab.OpAdd THEN
             IF isR THEN MGen.RealAdd ELSE MGen.Add END
           ELSE
             IF isR THEN MGen.RealSub ELSE MGen.Sub END
           END
         END; .) } .
  AddOp <VAR op: INTEGER>
    = "+"                     (. op := SymTab.OpAdd; .)
    | "-"                     (. op := SymTab.OpSub; .)
    | "OR"                    (. op := SymTab.OpOr; .) .
  Term <VAR t: SymTab.TypeIndex; VAR lx: MGen.LitStr;
        VAR v: BOOLEAN; VAR vn: SymTab.Name>
                                        (. VAR t2, res2: SymTab.TypeIndex;
                                             op: INTEGER;
                                             lx2: MGen.LitStr;
                                             v2: BOOLEAN;
                                             vn2: SymTab.Name;
                                             isR: BOOLEAN;
                                             mt: INTEGER; .)
    = Fact<t, lx, v, vn> { MulOp<op> Fact<t2, lx2, v2, vn2>
      (. lx[0] := 0C; v := FALSE;
         IF op = SymTab.OpAnd THEN
           IF SymTab.BoolCheck(t) & SymTab.BoolCheck(t2) THEN
             t := SymTab.BoolType()
           ELSE SemError(212); t := SymTab.InvalidType END;
           MGen.And
         ELSE
           IF SymTab.ArithCheck(t, t2,
                (op = SymTab.OpDiv) OR (op = SymTab.OpMod),
                res2) THEN t := res2
           ELSE SemError(211); t := SymTab.InvalidType END;
           isR := (t # SymTab.InvalidType)
                  & (SymTab.ClassOf(t) = SymTab.ClReal);
           IF op = SymTab.OpTimes THEN
             IF isR THEN MGen.RealMul ELSE MGen.MulU END
           ELSIF op = SymTab.OpSlash THEN
             IF isR THEN MGen.RealDiv ELSE MGen.DivI END
           ELSIF op = SymTab.OpDiv THEN
             MGen.DivI
           ELSE
             mt := MGen.TempGlobal();
             MGen.ModI(mt)
           END
         END; .) } .
  MulOp <VAR op: INTEGER>
    = "*"                     (. op := SymTab.OpTimes; .)
    | "/"                     (. op := SymTab.OpSlash; .)
    | "DIV"                   (. op := SymTab.OpDiv; .)
    | "MOD"                   (. op := SymTab.OpMod; .)
    | "AND"                   (. op := SymTab.OpAnd; .)
    | "&"                     (. op := SymTab.OpAnd; .) .
  Fact <VAR t: SymTab.TypeIndex; VAR lx: MGen.LitStr;
        VAR v: BOOLEAN; VAR vn: SymTab.Name>
                                        (. VAR s: ARRAY [0 .. 255] OF CHAR;
                                             t2, et, dt, st: SymTab.TypeIndex;
                                             dk: INTEGER;
                                             bnF: SymTab.Name;
                                             lxD, lx2: MGen.LitStr;
                                             v2: BOOLEAN;
                                             vn2: SymTab.Name;
                                             vi: INTEGER;
                                             c: CARDINAL;
                                             b: LONGCARD;
                                             sfxF: BOOLEAN;
                                             okF: BOOLEAN; .)
    = integer                         (. LexString(s);
                                         MGen.CopyName(s, lx);
                                         v := FALSE;
                                         IF MGen.ParseInt(s, vi) THEN
                                           MGen.PushInt(vi)
                                         ELSIF MGen.ParseCard(s, c) THEN
                                           MGen.PushBits(
                                             VAL(LONGCARD, c))
                                         ELSE MGen.PushInt(0)
                                         END;
                                         t := SymTab.IntType(); .)
    | real                            (. LexString(s);
                                         MGen.CopyName(s, lx);
                                         v := FALSE;
                                         IF MGen.ParseReal(s, b) THEN
                                           MGen.PushBits(b)
                                         ELSE MGen.PushBits(0H)
                                         END;
                                         t := SymTab.RealType(); .)
    | string                          (. LexString(s);
                                         v := FALSE;
                                         IF SymTab.StrLen(s) <= 3 THEN
                                           t := SymTab.CharType();
                                           MGen.CopyName(s, lx);
                                           MGen.PushInt(
                                             MGen.CharOrd(s))
                                         ELSE t := SymTab.NewStr();
                                           SemError(230);
                                           lx[0] := 0C;
                                           MGen.PushInt(0)
                                         END; .)
    | DesignHead<dt, dk, bnF, TRUE, lxD>
      DesignTail<dt, dk, bnF, TRUE, lxD, sfxF>
                                        (. t := dt;
                                           MGen.CopyName(lxD, lx);
                                           v := ~sfxF
                                                & ((dk = SymTab.KindVar)
                                                OR (dk = SymTab.KindParam)
                                                OR (dk
                                                    = SymTab.KindVarPar));
                                           MGen.CopyName(bnF, vn); .)
      [ CallTail<bnF, sfxF, TRUE, okF, TRUE>
                                        (. IF okF THEN
                                             IF SymTab.SymKind(bnF)
                                                = SymTab.KindProc THEN
                                               t := SymTab.ProcRet(bnF)
                                             ELSE
                                               t := SymTab.InvalidType
                                             END
                                           ELSE t := SymTab.InvalidType
                                           END;
                                           lx[0] := 0C; v := FALSE; .) ]
    | "("
      Expr<et, lx, v, vn> ")"         (. t := et; .)
    | ( "NOT" | "~" )
      Fact<t2, lx2, v2, vn2>          (. lx[0] := 0C; v := FALSE;
                                         IF SymTab.BoolCheck(t2) THEN
                                           t := SymTab.BoolType()
                                         ELSE SemError(212);
                                           t := SymTab.InvalidType END;
                                         MGen.Not; .)
    | SetLit<st>                      (. lx[0] := 0C; v := FALSE;
                                         t := st; .) .
  SetLit <VAR t: SymTab.TypeIndex>
                                        (. VAR first, et: SymTab.TypeIndex;
                                             lxE, lxE2: MGen.LitStr;
                                             vE, vE2: BOOLEAN;
                                             vnE, vnE2: SymTab.Name;
                                             hasR: BOOLEAN; .)
    = "{"
                                (. MGen.PushInt(0);
                                   t := SymTab.SetFor(SymTab.IntType()); .)
      [ Elem<et, lxE, lxE2, hasR>   (. first := et;
                                       t := SymTab.SetFor(et);
                                       IF hasR THEN MGen.FieldMask
                                       ELSE MGen.Power2 END;
                                       MGen.Or; .)
        { ","
          Elem<et, lxE, lxE2, hasR> (. IF ~SymTab.SetElemCheck(first, et) THEN
                                       SemError(222) END;
                                       IF hasR THEN MGen.FieldMask
                                       ELSE MGen.Power2 END;
                                       MGen.Or; .) } ]
      "}" .
  Elem <VAR t: SymTab.TypeIndex; VAR lx: MGen.LitStr;
        VAR lx2: MGen.LitStr; VAR hasR: BOOLEAN>
                                        (. VAR t2: SymTab.TypeIndex;
                                             vD, vD2: BOOLEAN;
                                             vnD, vnD2: SymTab.Name; .)
    = Expr<t, lx, vD, vnD>              (. hasR := FALSE;
                                           lx2[0] := 0C; .)
      [ ".."
        Expr<t2, lx2, vD2, vnD2>        (. IF ~SymTab.SetElemCheck(t, t2) THEN
                                           SemError(222) END;
                                           hasR := TRUE; .) ] .

  GetIdent <VAR n: SymTab.Name>
    = ident                           (. LexName(n); .) .

END M2c.