Update src/avl_private.h