4
.*: file format elf64-mmix
6
Disassembly of section \.text:
8
0000000000000000 <Main>:
9
0: be170c43 pushgo \$23,\$12,\$67
10
4: becb0c43 pushgo \$203,\$12,\$67
11
8: be200c43 pushgo \$32,\$12,\$67
12
c: be200c43 pushgo \$32,\$12,\$67
13
10: be172043 pushgo \$23,\$32,\$67
14
14: becb2043 pushgo \$203,\$32,\$67
15
18: bee88543 pushgo \$232,\$133,\$67
16
1c: bee88543 pushgo \$232,\$133,\$67
17
20: be170c49 pushgo \$23,\$12,\$73
18
24: becb0c49 pushgo \$203,\$12,\$73
19
28: be1f0ce9 pushgo \$31,\$12,\$233
20
2c: be1f0ce9 pushgo \$31,\$12,\$233
21
30: be1726d4 pushgo \$23,\$38,\$212
22
34: becb26d4 pushgo \$203,\$38,\$212
23
38: be04afb5 pushgo \$4,\$175,\$181
24
3c: be04afb5 pushgo \$4,\$175,\$181
25
40: bf170cb0 pushgo \$23,\$12,176
26
44: bfcb0cb0 pushgo \$203,\$12,176
27
48: bf200cb0 pushgo \$32,\$12,176
28
4c: bf200cb0 pushgo \$32,\$12,176
29
50: bf1720b0 pushgo \$23,\$32,176
30
54: bfcb20b0 pushgo \$203,\$32,176
31
58: bfe885b0 pushgo \$232,\$133,176
32
5c: bfe885b0 pushgo \$232,\$133,176
33
60: bf170ccb pushgo \$23,\$12,203
34
64: bfcb0ccb pushgo \$203,\$12,203
35
68: bf1f0cd5 pushgo \$31,\$12,213
36
6c: bf1f0cd5 pushgo \$31,\$12,213
37
70: bf1726d3 pushgo \$23,\$38,211
38
74: bfcb26d3 pushgo \$203,\$38,211
39
78: bf04afa1 pushgo \$4,\$175,161
40
7c: bf04afa1 pushgo \$4,\$175,161
41
80: bf170c00 pushgo \$23,\$12,0
42
84: bfcb0c00 pushgo \$203,\$12,0
43
88: bf290c00 pushgo \$41,\$12,0
44
8c: bff10c00 pushgo \$241,\$12,0
45
90: bf171b00 pushgo \$23,\$27,0
46
94: bfcb3000 pushgo \$203,\$48,0
47
98: bfdfdb00 pushgo \$223,\$219,0
48
9c: bfdfe500 pushgo \$223,\$229,0
49
a0: bf170c00 pushgo \$23,\$12,0
50
a4: bfcb0c00 pushgo \$203,\$12,0
51
a8: bf200c00 pushgo \$32,\$12,0
52
ac: bf200c00 pushgo \$32,\$12,0
53
b0: bf172000 pushgo \$23,\$32,0
54
b4: bfcb2000 pushgo \$203,\$32,0
55
b8: bfe88500 pushgo \$232,\$133,0
56
bc: bfe88500 pushgo \$232,\$133,0
57
c0: bf170c00 pushgo \$23,\$12,0
58
c4: bfcb0c00 pushgo \$203,\$12,0
59
c8: bf1f0c00 pushgo \$31,\$12,0
60
cc: bf1f0c00 pushgo \$31,\$12,0
61
d0: bf172600 pushgo \$23,\$38,0
62
d4: bfcb2600 pushgo \$203,\$38,0
63
d8: bf04af00 pushgo \$4,\$175,0
64
dc: bf04af00 pushgo \$4,\$175,0