Estas funciones están definidas en el archivo de cabecera codice_5.