CHECK: Alignment should match open parenthesis
WARNING: Block comments use a trailing */ on a separate line