CHECK: Comparison to NULL could be written "!elem"