double cock compilation hot

44