Rearrange the CHECK lines in this test to make failure more obvious.