| 1 | # objdump: -dr |
| 2 | .*: file format elf64-mmix |
| 3 | |
| 4 | Disassembly of section \.text: |
| 5 | |
| 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 |