El fichero codice_23 es el que contiene la definición de la función codice_3, que antes utilizamos pero que no escribimos, ya que forma parte de la biblioteca estándar de C.