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