Pues es la definición de una función, en este caso llamada codice_9.