anchor.diff:     endmethod
      interface Put mallocReq;
         method Action put(MemMgmtAllocReq#(numAllocClients) req);
  -         $display("MemMgmt:: %d req page=%d", cycle, freePageCount.read);
            mallcRequestFifo.enq(req);
            iommu.request.idRequest(0); //FIXME
            allocCnt <= allocCnt + 1;
  
positive.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:?});
              $display("MemMgmt:: %d free_idmap ", cycle, fshow(page));
              currSegment <= page;
           end
           tagged Invalid: begin
  
negative.code: `ifdef DEBUG
        indication.error(extend(pack(v.errorType)), v.id);
  `endif
        if (verbose) $display("(%0d) MemMgmt:: %d free_error: memMgmt error", $time, cycle);
     endrule
  
     (* descending_urgency="initialization, del_id_metadata, del_page_metadata, read_next_page_metadata" *)
  