final public void record_type_definition() throws ParseException {
    jj_consume_token(RECORD);
    label_27:
    while (true) {
      element_declaration();
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case basic_identifier:
      case extended_identifier:
        ;
        break;
      default:
        jj_la1[106] = jj_gen;
        break label_27;
      }
    }
    jj_consume_token(END);
    jj_consume_token(RECORD);
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case basic_identifier:
    case extended_identifier:
      identifier();
      break;
    default:
      jj_la1[107] = jj_gen;
      ;
    }
  }