let normalize_set (l : int list) = unique l