A note on 'non-while while loops'