Emulating AVX-512 intrinsics in Miri