int have_clmul(void);