avx-set-v4di-2.c 504 Bytes