anchor.diff:  // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
   // SOFTWARE.
   
  -interface SwallowRequest;
  +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);
  
positive.code: endinterface
  
  
  module mkSwallow#(SwallowIndication indication) (SwallowRequest);
  
     Reg#(Bit#(32)) sinkl1 <- mkReg(0);
  
  
negative.code: endinterface
  
  
  interface PortalPerfIndication;
     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);
  