Don't use functions introduced in 4.02 (e.g. Set.S.of_list) yet.