double cock compilation hot

24