Updating: working on libats/funmap_avltree