code: def p_program_def(t):
      
      print("Ignoring program {0:s} = {1:s}".format(t[2], t[8]))
      global name_dict
      id = t[2]
      value = t[8]
      lineno = t.lineno(1)
      if id_unique(id, 'program', lineno):
          name_dict[id] = const_info(id, value, lineno)
docs: program_def : PROGRAM ID LBRACE version_def version_def_list RBRACE EQUALS constant SEMI