double cock compilation hot

10