Fixup: avl_equal() interface def