CHECK: Alignment should match open parenthesis
WARNING: Missing a blank line after declarations