+static_always_inline u32x16
+u32x16_insert_lo (u32x16 r, u32x8 v)
+{
+ return (u32x16) _mm512_inserti64x4 ((__m512i) r, (__m256i) v, 0);
+}
+
+static_always_inline u32x16
+u32x16_insert_hi (u32x16 r, u32x8 v)
+{
+ return (u32x16) _mm512_inserti64x4 ((__m512i) r, (__m256i) v, 1);
+}
+
+static_always_inline u64x8
+u64x8_permute (u64x8 a, u64x8 b, u64x8 mask)
+{
+ return (u64x8) _mm512_permutex2var_epi64 ((__m512i) a, (__m512i) mask,
+ (__m512i) b);
+}
+