anchor.diff:  // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
   // SOFTWARE.
   
  +typedef enum { sp, spl, spll, splll, spllll, spd, spdd, spddd, spdddd } SpitType driving (Bits);
  +
   interface PortalPerfRequest;
      method Action swallowl(Bit#(32) v1);
      method Action swallowll(Bit#(32) v1, Bit#(32) v2);
  
positive.code:    method Action swallowdd(Bit#(64) v1, Bit#(64) v2);
     method Action swallowddd(Bit#(64) v1, Bit#(64) v2, Bit#(64) v3);
     method Action swallowdddd(Bit#(64) v1, Bit#(64) v2, Bit#(64) v3, Bit#(64) v4);
     method Action dospitl();
     method Action dospitll();
     method Action dospitlll();
     method Action dospitllll();
     method Action dospitd();
     method Action dospitdd();
     method Action dospitddd();
     method Action dospitdddd();
  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);
  
negative.code:       sinkdddd4 <= v4;
     endmethod
  
     method Action dospit();
        indication.spit();
     endmethod
  
     method Action dospitl();
        indication.spitl(sinkl1);
     endmethod
  