anchor.diff:     endmethod
   
      method Action start();
  -      docall(HCS1, HCSComplere, {startA: 0, aLen: aLenReg,
  -	 startB: 0, bLen: bLenReg}, {0, 0})
  +      docall(HCS1, HCSComplere, {aStart: 0, aLen: aLenReg,
  +	 bStart: 0, bLen: bLenReg}, {0, 0})
      endmethod
      
      interface FSM fsm = hC;
  
positive.code:    FSM hC2fsm <- mkFSM(hirschC2Stmt);
     
     // AlgC step 1, 2, and 3
     rule hc1 (fr.pc == HCS1)
        if (fr.args.bLen == 0)
  	doreturn();
       else if (fr.args.aLen == 1)
  	begin
  	   hc2fsm.start()
  	   fr.nextpc(HCS2);
  	end
       else
  
negative.code:  */
     
    // This FSM searches string B looking for the first char of string A
     Stmt hirschC2stmt =
     seq
        $display("hirschC running ");
        // read A[0]
  