The bytecode for the repeat statements can be structured in the following way:
This can be compiled using the same techniques as for the while statement.