,parallel-control-monitor{
  arbitrator-code
    // arbitration
    //              between
    //      x               y                       winner
    //      identifier      keyword                 keyword
    //      fp no           integer                 fp no
    //
    using namespace NS_pas_T_enum;
    {
     for(i=1;i<=ie;++i){
      if(To_judge->pp_accept_queue__[i].accept_token__->enumerated_id__ 
             == NS_pas_T_enum::T_Enum::T_T_keyword_){
	goto arbitrated_parameter;
      }
     }
     for(i=1;i<=ie;++i){
      if(To_judge->pp_accept_queue__[i].accept_token__->enumerated_id__ 
             == NS_pas_T_enum::T_Enum::T_T_fp_pt_no_){
	goto arbitrated_parameter;
      }
     }
    }
  ***
  }