Os loops são utilizados para executar um conjunto de instruções várias vezes baseando-se sempre em uma condição que decidirá se continua repetindo ou não. Qual estrutura de repetição abaixo, garante que o bloco de instruções seja executado no mínimo uma vez?