double cock compilation hot

31