(*) Por defecto, el tipo de retorno en C es int, por lo que la declaración entera codice_12 podría haberse omitido.