casos de teste em testes-vitinho.awk