sij.rbnf

START :
  <BOF>
  'runtime' <ID>
  [Attrs]
  Instrs 
  <EOF>
  ;

Instrs : [Instrs] Instr;

Instr : 'load'   <ID>
      | 'store'  <ID>
      | 'deref'  <ID>
      | 'deref!' <ID>
      | 'const'  <PY>
      | 'extern' <PY>
      | 'glob'   <ID>

      | 'print'
      | 'pop'
      | 'prj'
      | 'prj!'
      | 'indir'

      | 'rot'    <INT>
      | 'dup'    <INT>
      | 'goto'   <ID>
      | 'goto-if'     <ID>
      | 'goto-if-not' <ID>
      | 'label'       <ID>
      | 'blockaddr'   <ID>

      | 'call'        <INT>
      | 'list'        <INT>
      | 'tuple'       <INT>
      | 'return'
      | 'line'        <INT>
      | 'defun' [Attrs] '{' Instrs '}'
      | 'switch' ['|'] JumpCases
     ;

JumpCase : <INT> '=>' <ID>;
JumpCase : '_' '=>' <ID>;

JumpCases : [JumpCases '|'] JumpCase;

Attrs : [Attrs] Attr;

Attr : 'document' <STRING>
     | 'filename' <STRING>
     | 'free' IDs
     | 'name' <STRING>
     | 'args' IDs
     | 'firstlineno' <INT>
    ;

IDs : '[' [IDList] ']';
IDList : [IDList] <ID>;