do { ... } for ...;