No programa de testes, usou o mesmo {rot_teste} para
dois testes diferentes.  (O rótulo "lhufos" deveria ser
para lista de usuários vazia.)

Relatório:

OK.