Would it like an empty while block any better? I don't mind which it is, but presumably there is some style of "indefinite iteration" construct that it wouldn't complain about. Even an "empty for block" ...