anchor.diff:    Reg#(Bit#(7)) jj <- mkReg(0);
      Reg#(Bit#(8)) aData <- mkReg(0);
      Reg#(Bit#(8)) bData <- mkReg(0);
  -   Reg#(Bit#(16)) k0jm1 <- mkReg(0);
  -  Reg#(Bit#(16)) k1j <- mkReg(0);
  +   Reg#(Bit#(16)) k1jm1 <- mkReg(0);
  +  Reg#(Bit#(16)) k0j <- mkReg(0);
   
     Stmt hirschB =
      seq
  
positive.code: 
     endseq;
  
     mkFSM(hirschB);
  endmodule
  
negative.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)(FSM)
           provisos(Add#(0, 7, strIndexWidth),
  	       Add#(0, 14, lIndexWidth));
  
  
      Reg#(Bit#(7)) aLenReg <- mkReg(0);
    Reg#(Bit#(7)) bLenReg <- mkReg(0);
  