anchor.diff:        if (fr.vars.minj < fr.args.bLen)
   	 $display("delete B[%d] through B[%d]",
   		  fr.args.bStart + fr.vars.minj, fr.args.bStart + fr.args.bLen - 1);
  +      $display("notes fr.vars.minj %f fr.args.bLen %d",
  +	 fr.vars.minj, fr.args.bLen);
         fr.doreturn();
      endseq;
   
  
positive.code: 	 let tmp <- strA.response.get();
  	 aData <= tmp;
        endaction
        alt1 <= min(fr.args.tb, fr.args.te) + gap(zeroExtend(fr.args.bLen));
        minsofar <= alt1;
        fr.vars.minj <= 1;
        // scan B
        for (jj <= 1; jj <= fr.args.bLen; jj <= jj + 1)
  	 seq
  
negative.code: 	 endaction
        else
  	 action
  	    $display("delete A[%d] and A[%d]",
  	       fr.args.aStart + fr.vars.midi,
  	       fr.args.aStart + fr.vars.midi + 1);
  	    fr.docall(GCS1, GCS6, CArgs{aStart: fr.args.aStart + fr.vars.midi + 1, aLen: fr.args.aLen - fr.vars.midi- 1, bStart: fr.args.bStart + fr.vars.minj, bLen: fr.args.bLen - fr.vars.minj, tb: 0, te: fr.args.te}, fr.vars);
  	 endaction
     endrule
  