Reuse variable
Use CHECK-LABEL