CHECK: Blank lines aren't necessary after an open brace '{'
WARNING: Block comments use a trailing */ on a separate line