proc (m: vetor de inteiros , a: inteiro, b:
inteiro){
se (b = a+1){
m[a] = m[b] + m[a];
m[b] = m[b] + m[a];
}
senão{
m[a] = m[a] + proc( m, a + 1, b);
}
retorne m[a];
}

Considerando o algoritmo acima, em que o procedimento proc recebe como parâmetro um vetor composto de valores inteiros e mais dois valores inteiros, retornando como resultado um valor inteiro, que m[1] se refere ao primeiro elemento do vetor, e, ainda, que a passagem de parâmetros é feita por referência, julgue o item a seguir.

Considere V um vetor com os valores [2, 4, 6, 8, 10, 12, 14, 16], x um inteiro de valor 1 e y um inteiro de valor 8. Nesse caso, a chamada ao procedimento proc(V, x, y) faz que V passe a conter os valores [72, 70, 66, 60, 52, 42, 30, 46].