It loops while the condition is true. When an underflow happens, it stops being true.