Symbol: addrtree_size