pub unsafe extern "C" fn EverCrypt_AutoConfig2_has_vec128() -> bool