double cock compilation hot

43