12     .as_uint64 = { 0, 0, 0, 0 }  in main()
39     "vmovaps %%ymm0,  0x000(%0)\n\t"  in main()
40     "vmovaps %%ymm1,  0x020(%0)\n\t"  in main()
41     "vmovaps %%ymm2,  0x040(%0)\n\t"  in main()
42     "vmovaps %%ymm3,  0x060(%0)\n\t"  in main()
43     "vmovaps %%ymm4,  0x080(%0)\n\t"  in main()
44     "vmovaps %%ymm5,  0x0A0(%0)\n\t"  in main()
45     "vmovaps %%ymm6,  0x0C0(%0)\n\t"  in main()
46     "vmovaps %%ymm7,  0x0E0(%0)\n\t"  in main()
48     "vmovaps %%ymm8,  0x100(%0)\n\t"  in main()
49     "vmovaps %%ymm9,  0x120(%0)\n\t"  in main()
50     "vmovaps %%ymm10, 0x140(%0)\n\t"  in main()
51     "vmovaps %%ymm11, 0x160(%0)\n\t"  in main()
52     "vmovaps %%ymm12, 0x180(%0)\n\t"  in main()
53     "vmovaps %%ymm13, 0x1A0(%0)\n\t"  in main()
54     "vmovaps %%ymm14, 0x1C0(%0)\n\t"  in main()
55     "vmovaps %%ymm15, 0x1E0(%0)\n\t"  in main()
66   for (int i = 0; i < 16; ++i) {  in main()
68     for (int j = 0; j < sizeof(ymm->as_uint8); ++j)  in main()
69       printf("0x%02x ", ymm[i].as_uint8[j]);  in main()
73   return 0;  in main()