CHECK: Lines should not end with a '('
WARNING: void function return statements are not generally useful