anchor.diff:  		  endseq
   	    endseq
      endseq;
  -   mkFSM(hirschA);
  +   FSM hA <- mkFSM(hirschA);
  +   return(hA);
   
   endmodule
  
positive.code: import StmtFSM::*;
  import BRAM::*;
  
  module mkHirschA#(BRAMServer#(Bit#(strIndexWidth), Bit#(8)) strA, BRAMServer#(Bit#(strIndexWidth), Bit#(8)) strB, BRAMServer#(Bit#(lIndexWidth), Bit#(16)) matL)(FSM);
  
      Reg#(Bit#(7)) aLenReg <- mkReg(0);
    Reg#(Bit#(7)) bLenReg <- mkReg(0);
    Reg#(Bit#(14)) rLenReg <- mkReg(0);
    Reg#(Bit#(7)) ii <- mkReg(0);
    Reg#(Bit#(7)) jj <- mkReg(0);
  
negative.code: 
     Stmt hirschA =
     seq
  //      $display("hirschA running alen %d blen %d", aLenReg, bLenReg);
        for (ii<= 0; ii < aLenReg; ii <= ii + 1)
  	 seq
  	    matL.request.put(BRAMRequest{write: True, responseOnWrite: False, address: {ii,0}, datain: 0});
  