Random_compact_set loading ...