/testing/py-total-ordering/