code: def p_restore(p):
      
      if len(p) == 2:
          id_ = '__DATA__{0}'.format(len(gl.DATAS))
      else:
          id_ = p[2]
  
      lbl = check_and_make_label(id_, p.lineno(1))
      p[0] = make_sentence('RESTORE', lbl)
docs: statement : RESTORE
                    | RESTORE ID
                    | RESTORE NUMBER