Some mostly too-low-level-to-care-about hardware details of the mask registers introduced in AVX-512.| Performance Matters
