The loop exits unconditionally after one iteration
