anchor.diff:  endinterface
   
   
  -module mkSwallow#(SwallowIndication indication) (SwallowRequest);
  +module mkPortalPerf#(PortalPerfIndication indication) (PortalPerfRequest);
   
      Reg#(Bit#(32)) sinkl1 <- mkReg(0);
   
  
positive.code: endinterface
  
  
  interface SwallowIndication;
     method Action spitl(Bit#(32) v1);
     method Action spitll(Bit#(32) v1, Bit#(32) v2);
     method Action spitlll(Bit#(32) v1, Bit#(32) v2, Bit#(32) v3);
  
negative.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);
     method Action swallowlll(Bit#(32) v1, Bit#(32) v2, Bit#(32) v3);
  