A loop statement.
Statements to execute repeatedly.
A label for the loop that break nodes can refer to.