max_in_list.tz 272 Bytes