Podemos también utilizar el procedimiento codice_12, que toma dos argumentos: el primero es el procedimiento que queremos invocar, mientras que el segundo es la lista de argumentos.