O seguinte trecho de código, escrito na forma de pseudo-código, é parte de uma implementação característica de programas orientados a eventos.

inicializar
msg := null
enquanto msg <> msg_sair
   msg := obter_proxima_mensagem()
   processar_mensagem(msg)
fim enquanto

Nesse contexto, pode-se afirmar que