Totally_ordered_set loading ...