I see, `test_array.py` is also seeded, so we always need that seed