577. <Step 4: Finish up after PRB deletion 577> = tree->prb_alloc->libavl_free (tree->prb_alloc, p); tree->prb_count–; return (void *) item;
This code is included in 566.