anchor.diff:     rule idxram_write;
         let wAddr <- toGet(wAddrPipes[2]).get;
         let wEnb <- toGet(wEnb_idxram_fifo).get;
  +      let vacFLocR <- toGet(vacFLoc_fifo2).get;
         Vector#(2, Bit#(1)) wAddrLH = takeAt(3, unpack(wAddr));
         Vector#(3, Bit#(1)) wAddrLL = take(unpack(wAddr));
         Vector#(5, Bit#(1)) wAddrL = take(unpack(wAddr));
  
positive.code:    rule pe_vac_out;
        let bin <- toGet(pe_vac.bin).get;
        let vld <- toGet(pe_vac.vld).get;
        vacFLocR <= bin;
        $display("vacram %d: bin=%x vld=%x", cycle, bin, vld);
     endrule
  
  
negative.code:       Bit#(32) cVac = compute_cVac(rVac, oldPattMultiOcc, oldPattV, oldIdxR);
        cVacR <= cVac;
        pe_vac.oht.put(cVac);
        $display("vacram %d: response cVac=%x, rVac = %x, oldPattMultiOcc = %x, oldPattV = %x, oldIdx = %x", cycle, cVac, rVac, oldPattMultiOcc, oldPattV, oldIdxR);
     endrule
  
     rule vacram_write;
        let wAddr <- toGet(wAddrPipes[0]).get;
        let wEnb <- toGet(wEnb_vacram_fifo).get;
        let vacFLocR <- toGet(vacFLoc_fifo0).get;
        Vector#(wAddrHWidth, Bit#(1)) wAddrH = takeAt(5, unpack(wAddr));
        Bit#(32) wVac = compute_wVac(vacFLocR, newPattMultiOccR, cVacR);
        $display("vacram %d: vacFLoc=%x, newPattMultiOcc=%x, cVac=%x", cycle, vacFLocR, newPattMultiOccR, cVacR);
  