```
setdebug: DEBUG
decinit: /* empty */
       | '=' exprlist1
localdeclist: NAME
            | localdeclist ',' NAME
var: NAME
   | var  '[' expr1 ']'
   | var  '.' NAME
varlist1: var
        | varlist1 ',' var
lfieldlist1: expr1
           | lfieldlist1 ',' expr1
ffieldlist1: ffield
           | ffieldlist1 ',' ffield
ffieldlist: /* empty */
          | ffieldlist1
functioncall: functionvalue  '(' exprlist ')'
exprlist1: expr
         | exprlist1 ','  expr
functionlist: /* empty */
            | functionlist  stat sc
            | functionlist function
            | functionlist setdebug
exprlist: /* empty */
        | exprlist1
functionvalue: var
elsepart: /* empty */
        | ELSE block
        | ELSEIF expr1 THEN PrepJump block PrepJump elsepart
stat:  stat1
dimension: /* empty */
         | expr1
ffield: NAME  '=' expr1
expr: '(' expr ')'
    | expr1 '=' expr1
    | expr1 '<' expr1
    | expr1 '>' expr1
    | expr1 NE expr1
    | expr1 LE expr1
    | expr1 GE expr1
    | expr1 '+' expr1
    | expr1 '-' expr1
    | expr1 '*' expr1
    | expr1 '/' expr1
    | expr1 CONC expr1
    | '+' expr1
    | '-' expr1
    | typeconstructor
    | '@' '(' dimension ')'
    | var
    | NUMBER
    | STRING
    | NIL
    | functioncall
    | NOT expr1
    | expr1 AND PrepJump  expr1
    | expr1 OR PrepJump  expr1
fieldlist: '{' ffieldlist '}'
         | '[' lfieldlist ']'
parlist1: NAME
        | parlist1 ',' NAME
expr1: expr
parlist: /* empty */
       | parlist1
PrepJump: /* empty */
sc: /* empty */
  | ';'
ret: /* empty */
   |  RETURN exprlist sc
block:  statlist  ret
objectname: /* empty */
          | NAME
function: FUNCTION NAME  '(' parlist ')'  block END
$accept: functionlist $end
statlist: /* empty */
        | statlist stat sc
lfieldlist: /* empty */
          | lfieldlist1
stat1: IF expr1 THEN PrepJump block PrepJump elsepart END
     | WHILE  expr1 DO PrepJump block PrepJump END
     | REPEAT  block UNTIL expr1 PrepJump
     | varlist1 '=' exprlist1
     | functioncall
     | typeconstructor
     | LOCAL localdeclist decinit
typeconstructor: '@'  objectname fieldlist
```