final public void unconstrained_array_definition() throws ParseException {
    jj_consume_token(ARRAY);
    jj_consume_token(152);
    index_subtype_definition();
    label_26:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 150:
        ;
        break;
      default:
        jj_la1[105] = jj_gen;
        break label_26;
      }
      jj_consume_token(150);
      index_subtype_definition();
    }
    jj_consume_token(153);
    jj_consume_token(OF);
    subtype_indication();
  }