Strict_weak_order loading ...