anchor.diff:              deqSB.send;
               // return SB entry
               return tuple2(e.byteEn, unpack(e.data));
  +`endif
           endmethod
       endinterface);
       CCM ccm <- mkCCM(memRespIfc);
  
positive.code:             data: ?
          });
      endrule
  
      rule doDeqLSQ_Sc_issue(
          lsqDeqSt.memFunc == Sc &&
          waitLrScResp == Invalid &&
          lsqDeqSt.specBits == 0 &&
          stb.noMatchStQ(lsqDeqSt.paddr, lsqDeqSt.shiftedBE)
      );
          // send to mem
          waitLrScResp <= Sc;
  
negative.code:     endrule
  
      rule doDeqLSQ_Lr_issue(
          lsqDeqLd.memFunc == Lr
          && waitLrScResp == Invalid
          && lsqDeqLd.specBits == 0
  `ifndef TSO_MM
          && stb.noMatchLdQ(lsqDeqLd.paddr, lsqDeqLd.shiftedBE)
  `endif
      );
          // send to mem
          waitLrScResp <= Lr;
  