avx512-encodings.s 748 KB