This is a test case; we likely should not change it.