Add some CHECKs to this testcase.