Queda solo comentar que el símbolo codice_10 se conoce como operador de inserción, y "grosso modo" está enviando a codice_7 lo que queremos mostrar por pantalla para que lo pinte, en este caso la cadena codice_12.