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: // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  // SOFTWARE.
  
  interface PortalPerfRequest;
     method Action swallowl(Bit#(32) v1);
     method Action swallowll(Bit#(32) v1, Bit#(32) v2);
  
negative.code:       sinkdddd4 <= v4;
     endmethod
  
     method Action dospit();
        indication.spit();
     endmethod
  
     method Action dospitl();
        indication.spitl(sinkl1);
     endmethod
  