Symbol: get_subtree_max_size