CHECK: Using comparison to false is error prone
WARNING: line length of 106 exceeds 80 columns
WARNING: line length of 83 exceeds 80 columns
WARNING: line length of 90 exceeds 80 columns