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: 	    endaction
  	 endseq
        
        fr.docall(HCS1, HCS5, CArgs {aStart: fr.args.aStart, aLen: fr.vars.midi, bStart: fr.args.bStart, bLen: fr.vars.maxj}, fr.vars);
     endseq
  
     FSM hc4fsm <- mkFSM(hirschC4Stmt);
  