        a = adr;
                            while (obj != null) {
                              a =- typ.size;
                              obj.adr = a;
                              obj = obj.link;
                            } .)
  ';' .
</PRE>

<P>The core of this specification is the <B>EBNF rule</B> </P>

<PRE>  VarDeclaration = Ident {',' Ident} ':' Type ';' .
</PRE>

<P>It is augmented by attributes and semantic actions. The <B>attributes</B>
(e.g. &lt;^name&gt;) specify parameters that are associa