CHECK: Lines should not end with a '('
CHECK: No space is necessary after a cast
WARNING: line length of 95 exceeds 80 columns