anchor.diff:     rule handle_alloc_req;
         let v <- toGet(mallcRequestFifo).get;
         let id <- proxy.idResponse.get;
  -      $display("MemMgmt:: %d Allocating pages for packet id %d packet size %d", cycle, id, v.req);
  +      if (verbose) $display("(%0d) MemMgmt:: %d Allocating pages for packet id %d packet size %d", $time, cycle, id, v.req);
         // Corner case when v is close to 4kb.
         let mask = (1 << valueOf(PageAddrLen)) - 1;
         Bit#(PageIdx) nPages = truncate(((v.req + mask) & (~mask)) >> valueOf(PageAddrLen));
  -      $display("MemMgmt:: %d handle_malloc allocate nPage=%d", cycle, nPages);
  +      if (verbose) $display("(%0d) MemMgmt:: %d handle_malloc allocate nPage=%d", $time, cycle, nPages);
         let hasSpace <- freePageCount.maybeDecrement(unpack(nPages));
         if (hasSpace) begin
            stage2Params.enq(Stage2Params{
  
positive.code:       free_started <= True;
        portsel(idmap, 1).request.put(BRAMRequest{write:False, responseOnWrite:False, address:sglId, datain:?});
        idToFree <= sglId;
        if (verbose) $display("MemMgmt:: %d start_free_sglist %h", cycle, sglId);
        lastIdFreed <= extend(sglId);
     endrule
  
  
negative.code:          tagged Valid .page: begin
              portsel(idmap, 1).request.put(BRAMRequest{write:True, responseOnWrite:False, address: idToFree, datain: tagged Invalid});
              portsel(pagemap, 1).request.put(BRAMRequest{write:False, responseOnWrite:False, address: page, datain:?});
              if (verbose) $display("(%0d) MemMgmt:: %d free_idmap ", $time, cycle, fshow(page));
              currSegment <= page;
           end
           tagged Invalid: begin
  