Bit-permuting 16 u32s at once with AVX-512

  • What's the purpose of the excessive quantity of leading underscores on every variable? Are they intended to communicate something special?