36     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
37     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
38     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
39     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
41     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
42     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
43     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()
67     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
68     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
69     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
70     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
72     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
73     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
74     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()
98     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
99     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
100     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
101     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
103     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
104     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
105     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()
129     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
130     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
131     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
132     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
134     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
135     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
136     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()
161     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
162     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
163     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
164     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
166     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
167     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
168     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()
192     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
193     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
194     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
195     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
197     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
198     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
199     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()
224     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
225     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
226     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
227     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
229     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
230     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
231     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()
255     "\tmov " VG_SYM(rax) ",%rax\n"  in main()
256     "\tmov " VG_SYM(rbx) ",%rbx\n"  in main()
257     "\tmov " VG_SYM(rcx) ",%rcx\n"  in main()
258     "\tmov " VG_SYM(rdx) ",%rdx\n"  in main()
260     "\tmov %rax," VG_SYM(rax_out) "\n"  in main()
261     "\tmov %rbx," VG_SYM(rbx_out) "\n"  in main()
262     "\tmov %rcx," VG_SYM(rcx_out) "\n"  in main()