Definiu a função corretamente. Acrescentou ao programa de testes e aparentemente funciona. Relatório: OK como acima.