Qual laço garante ao menos uma execução do bloco?