Just check in the test file in the first repro