Infatti: la dichiarazione anticipata serve proprio per evitare di includere file di intestazione.