anchor.diff:  endfunction
   
   // ================================================================
  +// Maximum supported sources, targets, ...
  +
  +typedef  10  T_wd_source_id;    // Max 1024 sources (source 0 is reserved for 'no interrupt')
  +typedef   5  T_wd_target_id;    // Max 32 targets
  +
  +// ================================================================
   // Interfaces
   
   // ----------------
  
positive.code: 	       if (max_id != 0) begin
  		  vrg_source_ip   [max_id]         <= False;
  		  vrg_source_busy [max_id]         <= True;
  		  vrg_servicing_source [target_id] <= max_id;
  	       end
  	       rdata = changeWidth (max_id);
  	    end
  	 end
        end
  
        else
  
negative.code: 	       bresp = axi4_resp_slverr;
  	    end
  	 end
  	 else
  	    bresp = axi4_resp_decerr;
        end
  
        else
  