extending_ordered_set_template
