anchor.diff:  	 let tmp <- strA.response.get();
   	 aData <= tmp;
         endaction
  -      alt1 <= min(fr.args.tb, fr.args.te) + gap(zeroExtend(fr.args.bLen));
  +      alt1 <= min(fr.args.tb, fr.args.te) + initialH + gap(zeroExtend(fr.args.bLen));
         minsofar <= alt1;
  -      fr.vars.minj <= 1;
  +      fr.vars <= CVars{midi: 0, minj: 1, mintype: 1};
         // scan B
         for (jj <= 1; jj <= fr.args.bLen; jj <= jj + 1)
   	 seq
  
positive.code: 	    if (min(alt1, alt2) < minsofar)
  	       par
  		  minsofar <= min(alt1, alt2);
  		  fr.vars.minj <= jj;
  	       endpar
  	 endseq
        if (fr.vars.minj > 1)
  
negative.code:       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;
  
  