Don't use avl* names for non-libavl-API things.