No contexto da lógica de programação e das estruturas de controle de fluxo, as estruturas de repetição permitem a execução de um mesmo bloco de comandos diversas vezes, de acordo com uma condição previamente definida. Dentre essas estruturas, destaca-se a estrutura de repetição do tipo enquanto (while), amplamente utilizada em diversas linguagens de programação.
Considerando o funcionamento dessa estrutura, assinale a alternativa que descreve CORRETAMENTE o comportamento de uma estrutura de repetição do tipo enquanto: