CHECK-LABEL'ify this test.