Make test case more readable: move CHECK-lines next to corresponding RUN-lines.