CHECK: Comparison to NULL could be written "ct"