CHECK: Alignment should match open parenthesis