The body of a loop can be empty