Em uma linguagem que suporta passagem de parâmetros por referência, uma função troca(a, b) é chamada. O Analista observa que após a execução da função, os valores das variáveis originais x e y (passadas como a e b) são alterados.
Assinale a afirmativa correta a respeito do mecanismo exato da passagem por referência que permite à função alterar o valor da variável original (x ou y) no escopo do chamador.