Como os habéis dado cuenta, el archivo externo.php fue ejecutado el instante que se lo llamó con la palabra clave codice_6.