Symbol: get_max_num