Double compilation