x86_64-avx-encoding.s 144 KB