ERROR: spaces required around that ':' (ctx:OxE)
ERROR: spaces required around that ':' (ctx:VxW)
ERROR: spaces required around that '=' (ctx:VxO)
ERROR: spaces required around that '=' (ctx:VxV)
ERROR: spaces required around that '=' (ctx:VxW)
WARNING: labels should not be indented
WARNING: line length of 107 exceeds 80 columns
WARNING: line length of 109 exceeds 80 columns
WARNING: line length of 81 exceeds 80 columns
WARNING: line length of 93 exceeds 80 columns
WARNING: line length of 98 exceeds 80 columns