- loop body can consist of a single statement (not necessarily a block)
- loop body can consist of a single statement (not necessarily a block)

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast