1.data	8
2ok:
3.c	"ok\n"
4.code
5	jmpi main
6
7#define BEGIN(L)						\
8L:								\
9	prolog
10#define VA_START()						\
11	ellipsis						\
12	va_start %v0
13#define VARG(L,N)						\
14	va_arg %r0 %v0						\
15	beqi L##N %r0 N						\
16	calli @abort						\
17L##N:
18#define VARGD(L,N)						\
19	va_arg_d %f0 %v0					\
20	beqi_d L##N %f0 N					\
21	calli @abort						\
22L##N:
23#define VA_END()						\
24	va_end %v0						\
25	ret							\
26	epilog
27#define ARG(N)			arg $arg##N
28#define ARGD(N)			arg_d $arg##N
29#define GET(L,N)						\
30	getarg %r0 $arg##N					\
31	beqi L##N %r0 N						\
32	calli @abort						\
33L##N:
34#define GETD(L,N)						\
35	getarg_d %f0 $arg##N					\
36	beqi_d L##N %f0 N					\
37	calli @abort						\
38L##N:
39
40#define ARG1()				ARG(1)
41#define ARG2()		ARG1()		ARG(2)
42#define ARG3()		ARG2()		ARG(3)
43#define ARG4()		ARG3()		ARG(4)
44#define ARG5()		ARG4()		ARG(5)
45#define ARG6()		ARG5()		ARG(6)
46#define ARG7()		ARG6()		ARG(7)
47#define ARG8()		ARG7()		ARG(8)
48#define ARG9()		ARG8()		ARG(9)
49#define GET1(L)				GET(L,1)
50#define GET2(L)		GET1(L)		GET(L,2)
51#define GET3(L)		GET2(L)		GET(L,3)
52#define GET4(L)		GET3(L)		GET(L,4)
53#define GET5(L)		GET4(L)		GET(L,5)
54#define GET6(L)		GET5(L)		GET(L,6)
55#define GET7(L)		GET6(L)		GET(L,7)
56#define GET8(L)		GET7(L)		GET(L,8)
57#define GET9(L)		GET8(L)		GET(L,9)
58#define ARGD1()				ARGD(1)
59#define ARGD2()		ARGD1()		ARGD(2)
60#define ARGD3()		ARGD2()		ARGD(3)
61#define ARGD4()		ARGD3()		ARGD(4)
62#define ARGD5()		ARGD4()		ARGD(5)
63#define ARGD6()		ARGD5()		ARGD(6)
64#define ARGD7()		ARGD6()		ARGD(7)
65#define ARGD8()		ARGD7()		ARGD(8)
66#define ARGD9()		ARGD8()		ARGD(9)
67#define GETD1(L)			GETD(L,1)
68#define GETD2(L)	GETD1(L)	GETD(L,2)
69#define GETD3(L)	GETD2(L)	GETD(L,3)
70#define GETD4(L)	GETD3(L)	GETD(L,4)
71#define GETD5(L)	GETD4(L)	GETD(L,5)
72#define GETD6(L)	GETD5(L)	GETD(L,6)
73#define GETD7(L)	GETD6(L)	GETD(L,7)
74#define GETD8(L)	GETD7(L)	GETD(L,8)
75#define GETD9(L)	GETD8(L)	GETD(L,9)
76#define IDARG1()			ARG(1)
77#define IDARG2()	IDARG1()	ARGD(2)
78#define IDARG3()	IDARG2()	ARG(3)
79#define IDARG4()	IDARG3()	ARGD(4)
80#define IDARG5()	IDARG4()	ARG(5)
81#define IDARG6()	IDARG5()	ARGD(6)
82#define IDARG7()	IDARG6()	ARG(7)
83#define IDARG8()	IDARG7()	ARGD(8)
84#define IDARG9()	IDARG8()	ARG(9)
85#define IDGET1(L)			GET(L,1)
86#define IDGET2(L)	IDGET1(L)	GETD(L,2)
87#define IDGET3(L)	IDGET2(L)	GET(L,3)
88#define IDGET4(L)	IDGET3(L)	GETD(L,4)
89#define IDGET5(L)	IDGET4(L)	GET(L,5)
90#define IDGET6(L)	IDGET5(L)	GETD(L,6)
91#define IDGET7(L)	IDGET6(L)	GET(L,7)
92#define IDGET8(L)	IDGET7(L)	GETD(L,8)
93#define IDGET9(L)	IDGET8(L)	GET(L,9)
94#define DIARG1()			ARGD(1)
95#define DIARG2()	DIARG1()	ARG(2)
96#define DIARG3()	DIARG2()	ARGD(3)
97#define DIARG4()	DIARG3()	ARG(4)
98#define DIARG5()	DIARG4()	ARGD(5)
99#define DIARG6()	DIARG5()	ARG(6)
100#define DIARG7()	DIARG6()	ARGD(7)
101#define DIARG8()	DIARG7()	ARG(8)
102#define DIARG9()	DIARG8()	ARGD(9)
103#define DIGET1(L)			GETD(L,1)
104#define DIGET2(L)	DIGET1(L)	GET(L,2)
105#define DIGET3(L)	DIGET2(L)	GETD(L,3)
106#define DIGET4(L)	DIGET3(L)	GET(L,4)
107#define DIGET5(L)	DIGET4(L)	GETD(L,5)
108#define DIGET6(L)	DIGET5(L)	GET(L,6)
109#define DIGET7(L)	DIGET6(L)	GETD(L,7)
110#define DIGET8(L)	DIGET7(L)	GET(L,8)
111#define DIGET9(L)	DIGET8(L)	GETD(L,9)
112
113#define VARG1(L)						\
114	VARG(L, 10)
115#define VARG2(L)						\
116	VARG(L, 9)						\
117	VARG1(L)
118#define VARG3(L)						\
119	VARG(L, 8)						\
120	VARG2(L)
121#define VARG4(L)						\
122	VARG(L, 7)						\
123	VARG3(L)
124#define VARG5(L)						\
125	VARG(L, 6)						\
126	VARG4(L)
127#define VARG6(L)						\
128	VARG(L, 5)						\
129	VARG5(L)
130#define VARG7(L)						\
131	VARG(L, 4)						\
132	VARG6(L)
133#define VARG8(L)						\
134	VARG(L, 3)						\
135	VARG7(L)
136#define VARG9(L)						\
137	VARG(L, 2)						\
138	VARG8(L)
139#define VARG10(L)						\
140	VARG(L, 1)						\
141	VARG9(L)
142#define VARGD1(L)						\
143	VARGD(L, 10)
144#define VARGD2(L)						\
145	VARGD(L, 9)						\
146	VARGD1(L)
147#define VARGD3(L)						\
148	VARGD(L, 8)						\
149	VARGD2(L)
150#define VARGD4(L)						\
151	VARGD(L, 7)						\
152	VARGD3(L)
153#define VARGD5(L)						\
154	VARGD(L, 6)						\
155	VARGD4(L)
156#define VARGD6(L)						\
157	VARGD(L, 5)						\
158	VARGD5(L)
159#define VARGD7(L)						\
160	VARGD(L, 4)						\
161	VARGD6(L)
162#define VARGD8(L)						\
163	VARGD(L, 3)						\
164	VARGD7(L)
165#define VARGD9(L)						\
166	VARGD(L, 2)						\
167	VARGD8(L)
168#define VARGD10(L)						\
169	VARGD(L, 1)						\
170	VARGD9(L)
171#define IDVARG1(L)						\
172	VARGD(L, 10)
173#define IDVARG2(L)						\
174	VARG(L, 9)						\
175	IDVARG1(L)
176#define IDVARG3(L)						\
177	VARGD(L, 8)						\
178	IDVARG2(L)
179#define IDVARG4(L)						\
180	VARG(L, 7)						\
181	IDVARG3(L)
182#define IDVARG5(L)						\
183	VARGD(L, 6)						\
184	IDVARG4(L)
185#define IDVARG6(L)						\
186	VARG(L, 5)						\
187	IDVARG5(L)
188#define IDVARG7(L)						\
189	VARGD(L, 4)						\
190	IDVARG6(L)
191#define IDVARG8(L)						\
192	VARG(L, 3)						\
193	IDVARG7(L)
194#define IDVARG9(L)						\
195	VARGD(L, 2)						\
196	IDVARG8(L)
197#define IDVARG10(L)						\
198	VARG(L, 1)						\
199	IDVARG9(L)
200#define DIVARG1(L)						\
201	VARG(L, 10)
202#define DIVARG2(L)						\
203	VARGD(L, 9)						\
204	DIVARG1(L)
205#define DIVARG3(L)						\
206	VARG(L, 8)						\
207	DIVARG2(L)
208#define DIVARG4(L)						\
209	VARGD(L, 7)						\
210	DIVARG3(L)
211#define DIVARG5(L)						\
212	VARG(L, 6)						\
213	DIVARG4(L)
214#define DIVARG6(L)						\
215	VARGD(L, 5)						\
216	DIVARG5(L)
217#define DIVARG7(L)						\
218	VARG(L, 4)						\
219	DIVARG6(L)
220#define DIVARG8(L)						\
221	VARGD(L, 3)						\
222	DIVARG7(L)
223#define DIVARG9(L)						\
224	VARG(L, 2)						\
225	DIVARG8(L)
226#define DIVARG10(L)						\
227	VARGD(L, 1)						\
228	DIVARG9(L)
229
230BEGIN(_iiiiiiiiii)
231	VA_START()
232	VARG10(_iiiiiiiiii)
233	VA_END()
234BEGIN(i_iiiiiiiii)
235	ARG1()
236	GET1(i_iiiiiiiii)
237	VA_START()
238	VARG9(i_iiiiiiiii)
239	VA_END()
240BEGIN(ii_iiiiiiii)
241	ARG2()
242	GET2(ii_iiiiiiii)
243	VA_START()
244	VARG8(ii_iiiiiiii)
245	VA_END()
246BEGIN(iii_iiiiiii)
247	ARG3()
248	GET3(iii_iiiiiii)
249	VA_START()
250	VARG7(iii_iiiiiii)
251	VA_END()
252BEGIN(iiii_iiiiii)
253	ARG4()
254	GET4(iiii_iiiiii)
255	VA_START()
256	VARG6(iiii_iiiiii)
257	VA_END()
258BEGIN(iiiii_iiiii)
259	ARG5()
260	GET5(iiiii_iiiii)
261	VA_START()
262	VARG5(iiiii_iiiii)
263	VA_END()
264BEGIN(iiiiii_iiii)
265	ARG6()
266	GET6(iiiiii_iiii)
267	VA_START()
268	VARG4(iiiiii_iiii)
269	VA_END()
270BEGIN(iiiiiii_iii)
271	ARG7()
272	GET7(iiiiiii_iii)
273	VA_START()
274	VARG3(iiiiiii_iii)
275	VA_END()
276BEGIN(iiiiiiii_ii)
277	ARG8()
278	GET8(iiiiiiii_ii)
279	VA_START()
280	VARG2(iiiiiiii_ii)
281	VA_END()
282BEGIN(iiiiiiiii_i)
283	ARG9()
284	GET9(iiiiiiiii_i)
285	VA_START()
286	VARG1(iiiiiiiii_i)
287	VA_END()
288BEGIN(_dddddddddd)
289	VA_START()
290	VARGD10(_dddddddddd)
291	VA_END()
292BEGIN(d_ddddddddd)
293	ARGD1()
294	GETD1(d_ddddddddd)
295	VA_START()
296	VARGD9(d_ddddddddd)
297	VA_END()
298BEGIN(dd_dddddddd)
299	ARGD2()
300	GETD2(dd_dddddddd)
301	VA_START()
302	VARGD8(dd_dddddddd)
303	VA_END()
304BEGIN(ddd_ddddddd)
305	ARGD3()
306	GETD3(ddd_ddddddd)
307	VA_START()
308	VARGD7(ddd_ddddddd)
309	VA_END()
310BEGIN(dddd_dddddd)
311	ARGD4()
312	GETD4(dddd_dddddd)
313	VA_START()
314	VARGD6(dddd_dddddd)
315	VA_END()
316BEGIN(ddddd_ddddd)
317	ARGD5()
318	GETD5(ddddd_ddddd)
319	VA_START()
320	VARGD5(ddddd_ddddd)
321	VA_END()
322BEGIN(dddddd_dddd)
323	ARGD6()
324	GETD6(dddddd_dddd)
325	VA_START()
326	VARGD4(dddddd_dddd)
327	VA_END()
328BEGIN(ddddddd_ddd)
329	ARGD7()
330	GETD7(ddddddd_ddd)
331	VA_START()
332	VARGD3(ddddddd_ddd)
333	VA_END()
334BEGIN(dddddddd_dd)
335	ARGD8()
336	GETD8(dddddddd_dd)
337	VA_START()
338	VARGD2(dddddddd_dd)
339	VA_END()
340BEGIN(ddddddddd_d)
341	ARGD9()
342	GETD9(ddddddddd_d)
343	VA_START()
344	VARGD1(ddddddddd_d)
345	VA_END()
346BEGIN(_ididididid)
347	VA_START()
348	IDVARG10(_ididididid)
349	VA_END()
350BEGIN(i_didididid)
351	IDARG1()
352	IDGET1(i_didididid)
353	VA_START()
354	IDVARG9(i_didididid)
355	VA_END()
356BEGIN(id_idididid)
357	IDARG2()
358	IDGET2(id_idididid)
359	VA_START()
360	IDVARG8(id_idididid)
361	VA_END()
362BEGIN(idi_dididid)
363	IDARG3()
364	IDGET3(idi_dididid)
365	VA_START()
366	IDVARG7(idi_dididid)
367	VA_END()
368BEGIN(idid_ididid)
369	IDARG4()
370	IDGET4(idid_ididid)
371	VA_START()
372	IDVARG6(idid_ididid)
373	VA_END()
374BEGIN(ididi_didid)
375	IDARG5()
376	IDGET5(ididi_didid)
377	VA_START()
378	IDVARG5(ididi_didid)
379	VA_END()
380BEGIN(ididid_idid)
381	IDARG6()
382	IDGET6(ididid_idid)
383	VA_START()
384	IDVARG4(ididid_idid)
385	VA_END()
386BEGIN(idididi_did)
387	IDARG7()
388	IDGET7(idididi_did)
389	VA_START()
390	IDVARG3(idididi_did)
391	VA_END()
392BEGIN(idididid_id)
393	IDARG8()
394	IDGET8(idididid_id)
395	VA_START()
396	IDVARG2(idididid_id)
397	VA_END()
398BEGIN(ididididi_d)
399	IDARG9()
400	IDGET9(ididididi_d)
401	VA_START()
402	IDVARG1(ididididi_d)
403	VA_END()
404BEGIN(_dididididi)
405	VA_START()
406	DIVARG10(_dididididi)
407	VA_END()
408BEGIN(d_ididididi)
409	DIARG1()
410	DIGET1(d_ididididi)
411	VA_START()
412	DIVARG9(d_ididididi)
413	VA_END()
414BEGIN(di_didididi)
415	DIARG2()
416	DIGET2(di_didididi)
417	VA_START()
418	DIVARG8(di_didididi)
419	VA_END()
420BEGIN(did_idididi)
421	DIARG3()
422	DIGET3(did_idididi)
423	VA_START()
424	DIVARG7(did_idididi)
425	VA_END()
426BEGIN(didi_dididi)
427	DIARG4()
428	DIGET4(didi_dididi)
429	VA_START()
430	DIVARG6(didi_dididi)
431	VA_END()
432BEGIN(didid_ididi)
433	DIARG5()
434	DIGET5(didid_ididi)
435	VA_START()
436	DIVARG5(didid_ididi)
437	VA_END()
438BEGIN(dididi_didi)
439	DIARG6()
440	DIGET6(dididi_didi)
441	VA_START()
442	DIVARG4(dididi_didi)
443	VA_END()
444BEGIN(dididid_idi)
445	DIARG7()
446	DIGET7(dididid_idi)
447	VA_START()
448	DIVARG3(dididid_idi)
449	VA_END()
450BEGIN(didididi_di)
451	DIARG8()
452	DIGET8(didididi_di)
453	VA_START()
454	DIVARG2(didididi_di)
455	VA_END()
456BEGIN(didididid_i)
457	DIARG9()
458	DIGET9(didididid_i)
459	VA_START()
460	DIVARG1(didididid_i)
461	VA_END()
462
463#define PUSH1()		pushargi 1
464#define PUSH2()		PUSH1()		pushargi 2
465#define PUSH3()		PUSH2()		pushargi 3
466#define PUSH4()		PUSH3()		pushargi 4
467#define PUSH5()		PUSH4()		pushargi 5
468#define PUSH6()		PUSH5()		pushargi 6
469#define PUSH7()		PUSH6()		pushargi 7
470#define PUSH8()		PUSH7()		pushargi 8
471#define PUSH9()		PUSH8()		pushargi 9
472#define VPUSH1()	pushargi 1	VPUSH2()
473#define VPUSH2()	pushargi 2	VPUSH3()
474#define VPUSH3()	pushargi 3	VPUSH4()
475#define VPUSH4()	pushargi 4	VPUSH5()
476#define VPUSH5()	pushargi 5	VPUSH6()
477#define VPUSH6()	pushargi 6	VPUSH7()
478#define VPUSH7()	pushargi 7	VPUSH8()
479#define VPUSH8()	pushargi 8	VPUSH9()
480#define VPUSH9()	pushargi 9	VPUSH10()
481#define VPUSH10()	pushargi 10
482#define PUSHD1()	pushargi_d 1
483#define PUSHD2()	PUSHD1()	pushargi_d 2
484#define PUSHD3()	PUSHD2()	pushargi_d 3
485#define PUSHD4()	PUSHD3()	pushargi_d 4
486#define PUSHD5()	PUSHD4()	pushargi_d 5
487#define PUSHD6()	PUSHD5()	pushargi_d 6
488#define PUSHD7()	PUSHD6()	pushargi_d 7
489#define PUSHD8()	PUSHD7()	pushargi_d 8
490#define PUSHD9()	PUSHD8()	pushargi_d 9
491#define VPUSHD1()	pushargi_d 1	VPUSHD2()
492#define VPUSHD2()	pushargi_d 2	VPUSHD3()
493#define VPUSHD3()	pushargi_d 3	VPUSHD4()
494#define VPUSHD4()	pushargi_d 4	VPUSHD5()
495#define VPUSHD5()	pushargi_d 5	VPUSHD6()
496#define VPUSHD6()	pushargi_d 6	VPUSHD7()
497#define VPUSHD7()	pushargi_d 7	VPUSHD8()
498#define VPUSHD8()	pushargi_d 8	VPUSHD9()
499#define VPUSHD9()	pushargi_d 9	VPUSHD10()
500#define VPUSHD10()	pushargi_d 10
501#define IDPUSH1()	pushargi 1
502#define IDPUSH2()	IDPUSH1()	pushargi_d 2
503#define IDPUSH3()	IDPUSH2()	pushargi 3
504#define IDPUSH4()	IDPUSH3()	pushargi_d 4
505#define IDPUSH5()	IDPUSH4()	pushargi 5
506#define IDPUSH6()	IDPUSH5()	pushargi_d 6
507#define IDPUSH7()	IDPUSH6()	pushargi 7
508#define IDPUSH8()	IDPUSH7()	pushargi_d 8
509#define IDPUSH9()	IDPUSH8()	pushargi 9
510#define IDVPUSH1()	pushargi 1	IDVPUSH2()
511#define IDVPUSH2()	pushargi_d 2	IDVPUSH3()
512#define IDVPUSH3()	pushargi 3	IDVPUSH4()
513#define IDVPUSH4()	pushargi_d 4	IDVPUSH5()
514#define IDVPUSH5()	pushargi 5	IDVPUSH6()
515#define IDVPUSH6()	pushargi_d 6	IDVPUSH7()
516#define IDVPUSH7()	pushargi 7	IDVPUSH8()
517#define IDVPUSH8()	pushargi_d 8	IDVPUSH9()
518#define IDVPUSH9()	pushargi 9	IDVPUSH10()
519#define IDVPUSH10()	pushargi_d 10
520#define DIPUSH1()	pushargi_d 1
521#define DIPUSH2()	DIPUSH1()	pushargi 2
522#define DIPUSH3()	DIPUSH2()	pushargi_d 3
523#define DIPUSH4()	DIPUSH3()	pushargi 4
524#define DIPUSH5()	DIPUSH4()	pushargi_d 5
525#define DIPUSH6()	DIPUSH5()	pushargi 6
526#define DIPUSH7()	DIPUSH6()	pushargi_d 7
527#define DIPUSH8()	DIPUSH7()	pushargi 8
528#define DIPUSH9()	DIPUSH8()	pushargi_d 9
529#define DIVPUSH1()	pushargi_d 1	DIVPUSH2()
530#define DIVPUSH2()	pushargi 2	DIVPUSH3()
531#define DIVPUSH3()	pushargi_d 3	DIVPUSH4()
532#define DIVPUSH4()	pushargi 4	DIVPUSH5()
533#define DIVPUSH5()	pushargi_d 5	DIVPUSH6()
534#define DIVPUSH6()	pushargi 6	DIVPUSH7()
535#define DIVPUSH7()	pushargi_d 7	DIVPUSH8()
536#define DIVPUSH8()	pushargi 8	DIVPUSH9()
537#define DIVPUSH9()	pushargi_d 9	DIVPUSH10()
538#define DIVPUSH10()	pushargi 10
539
540main:
541	prolog
542	prepare
543		ellipsis
544		VPUSH1()
545	finishi _iiiiiiiiii
546	prepare
547		PUSH1()
548		ellipsis
549		VPUSH2()
550	finishi i_iiiiiiiii
551	prepare
552		PUSH2()
553		ellipsis
554		VPUSH3()
555	finishi ii_iiiiiiii
556	prepare
557		PUSH3()
558		ellipsis
559		VPUSH4()
560	finishi iii_iiiiiii
561	prepare
562		PUSH4()
563		ellipsis
564		VPUSH5()
565	finishi iiii_iiiiii
566	prepare
567		PUSH5()
568		ellipsis
569		VPUSH6()
570	finishi iiiii_iiiii
571	prepare
572		PUSH6()
573		ellipsis
574		VPUSH7()
575	finishi iiiiii_iiii
576	prepare
577		PUSH7()
578		ellipsis
579		VPUSH8()
580	finishi iiiiiii_iii
581	prepare
582		PUSH8()
583		ellipsis
584		VPUSH9()
585	finishi iiiiiiii_ii
586	prepare
587		PUSH9()
588		ellipsis
589		VPUSH10()
590	finishi iiiiiiiii_i
591	prepare
592		ellipsis
593		VPUSHD1()
594	finishi _dddddddddd
595	prepare
596		PUSHD1()
597		ellipsis
598		VPUSHD2()
599	finishi d_ddddddddd
600	prepare
601		PUSHD2()
602		ellipsis
603		VPUSHD3()
604	finishi dd_dddddddd
605	prepare
606		PUSHD3()
607		ellipsis
608		VPUSHD4()
609	finishi ddd_ddddddd
610	prepare
611		PUSHD4()
612		ellipsis
613		VPUSHD5()
614	finishi dddd_dddddd
615	prepare
616		PUSHD5()
617		ellipsis
618		VPUSHD6()
619	finishi ddddd_ddddd
620	prepare
621		PUSHD6()
622		ellipsis
623		VPUSHD7()
624	finishi dddddd_dddd
625	prepare
626		PUSHD7()
627		ellipsis
628		VPUSHD8()
629	finishi ddddddd_ddd
630	prepare
631		PUSHD8()
632		ellipsis
633		VPUSHD9()
634	finishi dddddddd_dd
635	prepare
636		PUSHD9()
637		ellipsis
638		VPUSHD10()
639	finishi ddddddddd_d
640	prepare
641		ellipsis
642		IDVPUSH1()
643	finishi _ididididid
644	prepare
645		IDPUSH1()
646		ellipsis
647		IDVPUSH2()
648	finishi i_didididid
649	prepare
650		IDPUSH2()
651		ellipsis
652		IDVPUSH3()
653	finishi id_idididid
654	prepare
655		IDPUSH3()
656		ellipsis
657		IDVPUSH4()
658	finishi idi_dididid
659	prepare
660		IDPUSH4()
661		ellipsis
662		IDVPUSH5()
663	finishi idid_ididid
664	prepare
665		IDPUSH5()
666		ellipsis
667		IDVPUSH6()
668	finishi ididi_didid
669	prepare
670		IDPUSH6()
671		ellipsis
672		IDVPUSH7()
673	finishi ididid_idid
674	prepare
675		IDPUSH7()
676		ellipsis
677		IDVPUSH8()
678	finishi idididi_did
679	prepare
680		IDPUSH8()
681		ellipsis
682		IDVPUSH9()
683	finishi idididid_id
684	prepare
685		IDPUSH9()
686		ellipsis
687		IDVPUSH10()
688	finishi ididididi_d
689	prepare
690		ellipsis
691		DIVPUSH1()
692	finishi _dididididi
693	prepare
694		DIPUSH1()
695		ellipsis
696		DIVPUSH2()
697	finishi d_ididididi
698	prepare
699		DIPUSH2()
700		ellipsis
701		DIVPUSH3()
702	finishi di_didididi
703	prepare
704		DIPUSH3()
705		ellipsis
706		DIVPUSH4()
707	finishi did_idididi
708	prepare
709		DIPUSH4()
710		ellipsis
711		DIVPUSH5()
712	finishi didi_dididi
713	prepare
714		DIPUSH5()
715		ellipsis
716		DIVPUSH6()
717	finishi didid_ididi
718	prepare
719		DIPUSH6()
720		ellipsis
721		DIVPUSH7()
722	finishi dididi_didi
723	prepare
724		DIPUSH7()
725		ellipsis
726		DIVPUSH8()
727	finishi dididid_idi
728	prepare
729		DIPUSH8()
730		ellipsis
731		DIVPUSH9()
732	finishi didididi_di
733	prepare
734		DIPUSH9()
735		ellipsis
736		DIVPUSH10()
737	finishi didididid_i
738	prepare
739		pushargi ok
740		ellipsis
741	finishi @printf
742	ret
743	epilog
744