pub const CPUID_7_0_ECX_AVX512_VPOPCNTDQ: u32 = 16384;