Patterns in this section belong to the statement class.
They match executable statements in the target code.
Patterns in this section belong to the statement class.
They match executable statements in the target code.