Durante o desenvolvimento de um módulo interno para a UNIRIO, o técnico de tecnologia da informação precisa implementar uma rotina que solicita ao usuário a inserção de um código de identificação até que um valor válido seja informado. No entanto, por exigência do sistema, o bloco de instruções deve ser executado pelo menos uma vez, já que a verificação da condição somente ocorre após a primeira execução do bloco. Considerando o tipo de estrutura de controle descrita, o comando que deve ser utilizado é