Em um algoritmo executado no VisuAlg 3.0, a estrutura de repetição condicional que garante que o bloco de instruções interno seja executado pelo menos uma vez antes da checagem da condição de parada é: