src/distrib/sets