> circuits will be relegated to some mothball footnote in the same manner as AVX512
AVX512 is widely used...