Symbol: find_max_nr_alloc