double cock compilation hot

12