Nota: La lista de argumentos de la asignación de codice_46 está obligada a ser: (el tipo de retorno decodice_46, toda la lista de argumentos de codice_46...)