final public String formal_part() throws ParseException {
  String s;
    if (jj_2_15(2147483647)) {
      s = name();
      jj_consume_token(152);
      name();
      jj_consume_token(153);
    } else {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case basic_identifier:
      case extended_identifier:
        s = name();
        break;
      default:
        jj_la1[69] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
    }
          {if (true) return s;}
    throw new Error("Missing return statement in function");
  }