CHECK-LABEL-ize one test