anchor.diff:        strLenB <= strLen;
      endmethod
   
  -   FSM fsm <- mkFSM(hirschB);
  +   interface FSM fsm = hB;
   
   endmodule
  
positive.code: 
  import StmtFSM::*;
  import BRAM::*;
  
  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),
  
negative.code: 	 endseq
     endseq;
  
     FSM hB <- mkFSM(hirschB);
     
     method Action setupA(Bit#(7) strLen);
        strLenA <= strLen;
     endmethod
  