Instead of {} on the same line, I think the standard is:
```
while (whatever)
        ;
```