final public int options_() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case GUARDED:
      jj_consume_token(GUARDED);
      break;
    default:
      jj_la1[71] = jj_gen;
      ;
    }
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case INERTIAL:
    case REJECT:
    case TRANSPORT:
      delay_mechanism();
      break;
    default:
      jj_la1[72] = jj_gen;
      ;
    }
          {if (true) return 0;}
    throw new Error("Missing return statement in function");
  }