</p>
<p>A execução da declaração <code>do</code> processa-se primeiro atribuindo o
valor_inicial para a variável (daqui em diante chamada a
variável de controle).  Então: (1) Se a variável de controle excede
o limite de uma especificação <code>thru</code>, ou se a condição de <code>unless</code> for
<code>true</code>, ou se a condição de <code>while</code> for <code>false</code> então o <code>do</code>
será encerrado.  (2) O corpo é avaliado.  (3) O incremento é adicionado à
variável de 