https://doc.rust-lang.org/stable/core/arch/x86_64/fn._mm512_mullox_epi64.html
_mm512_mullox_epi64 in core::arch::x86_64 - Rust
Multiplies elements in packed 64-bit integer vectors a and b together, storing the lower 64 bits of the result in dst.
corearchrust