double cock compilation hot

32