✏️ Editing: avx512vbmi2intrin.h