Add avl_alloc_sizes().