Na passagem por resultado, nenhum valor é transmitido para o subprograma. O parâmetro formal correspondente age como uma variável local, mas logo antes de o controle ser transmitido de volta para o chamador, seu valor é transmitido de volta para o parâmetro real deste. Qual é o modelo semântico dessa passagem de parâmetro? Indique a alternativa correta.