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