Rename to antisort_test.py.