CHECK: Comparison to NULL could be written "curr_ai"
ERROR: spaces required around that ':' (ctx:VxW)
WARNING: Missing a blank line after declarations
WARNING: Possible repeated word: 'any'
WARNING: line length of 102 exceeds 80 columns
WARNING: line length of 133 exceeds 80 columns
WARNING: line length of 83 exceeds 80 columns
WARNING: line length of 87 exceeds 80 columns
WARNING: line length of 93 exceeds 80 columns
WARNING: line length of 94 exceeds 80 columns