Así, el tipo número entero (que se representa con la palabra clave int), no es más que una forma rápida de escribir codice_1.