Uma das três modalidades de estrutura de repetição disponíveis posiciona o teste de verificação da condição de parada antes de o fluxo do algoritmo atingir o bloco de comandos que será _________. Esta característica torna __________________ que o bloco não seja executado uma vez sequer, a depender do resultado do teste lógico. Quando o teste lógico retornar falso, o fluxo será desviado para ___________ do bloco. Assinale a alternativa que contêm os termos que corretamente completam as lacunas do texto acima.