anchor.diff:  
   import StmtFSM::*;
   import BRAM::*;
  +import MCSAlgorithm::*;
   
   module mkHirschB#(BRAMServer#(Bit#(strIndexWidth), Bit#(8)) strA, BRAMServer#(Bit#(strIndexWidth), Bit#(8)) strB, BRAMServer#(Bit#(lIndexWidth), Bit#(16)) matL)(MCSAlgorithm)
            provisos(Add#(0, 7, strIndexWidth),
  
positive.code: 	 endseq
     endseq;
  
     method Action setupA(Bit#(7) strLen);
        strLenA <= strLen;
     endmethod
  
negative.code:       strLenB <= strLen;
     endmethod
  
     interface FSM fsm = hB;
  
  endmodule
  