Updating: improving libats/funmap_avltree