Change first test to be CHECK: to make the test run. GitOrigin-RevId: 4a18a5bdd9e2e119cf24653e34b22cf356fffe77