anchor.diff:     Reg#(Bit#(64)) sinkdddd3 <- mkReg(0);
      Reg#(Bit#(64)) sinkdddd4 <- mkReg(0);
      
  +
  +   function Action dospit();
  +      return  
  +	 action 
  +	 indication.spit(); 
  +	 endaction 
  +	 ;
  +   endfunction
  +
  +   function Action dospitl();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitl(sinkl1);
  +	 endaction );
  +   endfunction
  +
  +   function Action dospitll();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitll(sinkll1, sinkll2);
  +	 endaction );
  +   endfunction
  +
  +   function Action dospitlll();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitlll(sinklll1, sinklll2, sinklll3);
  +	 endaction );
  +   endfunction
  +
  +   function Action dospitllll();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitllll(sinkllll1, sinkllll2, sinkllll3, sinkllll4);
  +	 endaction );
  +   endfunction
  +
  +   function Action dospitd();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitd(sinkd1);
  +	 endaction );
  +   endfunction
  +
  +   function Action dospitdd();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitdd(sinkdd1, sinkdd2);
  +	 endaction );
  +   endfunction
  +
  +   function Action dospitddd();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitddd(sinkddd1, sinkddd2, sinkddd3);
  +	 endaction );
  +   endfunction
  +
  +   function Action dospitdddd();
  +      return ( action 
  +	 indication.spit(); 
  +	 indication.spitdddd(sinkdddd1, sinkdddd2, sinkdddd3, sinkdddd4);
  +	 endaction );
  +   endfunction
  +
      Vector#(9, Repeat) rfns = ?;
      rfns[0] <- mkRepeat(dospit);
      rfns[1] <- mkRepeat(dospitl);
  
positive.code:    endmethod
  
     method Action startspit(Bit#(16) spitType, Bit#(16) loops);
        dofns[spittype].start(loops);
     endmethod
  
  endmodule
negative.code: 
  
  module mkPortalPerfRequest#(PortalPerfIndication indication) (PortalPerfRequest);
     
     Reg#(Bit#(32)) sinkl1 <- mkReg(0);
  
  