anchor.diff:     method Action dospitddd();
         indication.spitddd(sinkddd1, sinkddd2, sinkddd3);
      endmethod
  -
      method Action dospitdddd();
         indication.spitdddd(sinkdddd1, sinkdddd2, sinkdddd3, sinkdddd4);
      endmethod
   
  +   method Action startspit(SpitType spitType, Bit#(16) loops);
  +      dofns[spittype].do(loops);
  +   endmethod
   
  -endmodule
  +endmodule
positive.code: 
  module mkPortalPerfRequest#(PortalPerfIndication indication) (PortalPerfRequest);
  
     Reg#(Bit#(32)) sinkl1 <- mkReg(0);
  
     Reg#(Bit#(32)) sinkll1 <- mkReg(0);
  
negative.code:    Reg#(Bit#(64)) sinkdddd2 <- mkReg(0);
     Reg#(Bit#(64)) sinkdddd3 <- mkReg(0);
     Reg#(Bit#(64)) sinkdddd4 <- mkReg(0);
     
     Vector(9,Repeat) rfns = ?;
     rfns[0] <- mkRepeat(dospit);
     rfns[1] <- mkRepeat(dospitl);
     rfns[2] <- mkRepeat(dospitll);
     rfns[3] <- mkRepeat(dospitlll);
     rfns[4] <- mkRepeat(dospitllll);
     rfns[5] <- mkRepeat(dospitd);
     rfns[6] <- mkRepeat(dospitdd);
     rfns[7] <- mkRepeat(dospitddd);
     rfns[8] <- mkRepeat(dospitdddd);
     Reg#(Bit#(16)) loops <- mkReg(0);
  
     method Action swallowl(Bit#(32) v1);
        sinkl1 <= v1;
  