En C++, el parámetro codice_5 se desreferencia usando codice_9 y se pasa implícitamente como parte de la semántica de invocación de métodos orientada a objetos (no aparece como parámetro porque el método forma parte de env cuando se trata como un objeto).