| # objdump: -dr |
| .*: file format elf64-mmix |
| |
| Disassembly of section \.text: |
| |
| 0000000000000000 <Main>: |
| 0: be170c43 pushgo \$23,\$12,\$67 |
| 4: becb0c43 pushgo \$203,\$12,\$67 |
| 8: be200c43 pushgo \$32,\$12,\$67 |
| c: be200c43 pushgo \$32,\$12,\$67 |
| 10: be172043 pushgo \$23,\$32,\$67 |
| 14: becb2043 pushgo \$203,\$32,\$67 |
| 18: bee88543 pushgo \$232,\$133,\$67 |
| 1c: bee88543 pushgo \$232,\$133,\$67 |
| 20: be170c49 pushgo \$23,\$12,\$73 |
| 24: becb0c49 pushgo \$203,\$12,\$73 |
| 28: be1f0ce9 pushgo \$31,\$12,\$233 |
| 2c: be1f0ce9 pushgo \$31,\$12,\$233 |
| 30: be1726d4 pushgo \$23,\$38,\$212 |
| 34: becb26d4 pushgo \$203,\$38,\$212 |
| 38: be04afb5 pushgo \$4,\$175,\$181 |
| 3c: be04afb5 pushgo \$4,\$175,\$181 |
| 40: bf170cb0 pushgo \$23,\$12,176 |
| 44: bfcb0cb0 pushgo \$203,\$12,176 |
| 48: bf200cb0 pushgo \$32,\$12,176 |
| 4c: bf200cb0 pushgo \$32,\$12,176 |
| 50: bf1720b0 pushgo \$23,\$32,176 |
| 54: bfcb20b0 pushgo \$203,\$32,176 |
| 58: bfe885b0 pushgo \$232,\$133,176 |
| 5c: bfe885b0 pushgo \$232,\$133,176 |
| 60: bf170ccb pushgo \$23,\$12,203 |
| 64: bfcb0ccb pushgo \$203,\$12,203 |
| 68: bf1f0cd5 pushgo \$31,\$12,213 |
| 6c: bf1f0cd5 pushgo \$31,\$12,213 |
| 70: bf1726d3 pushgo \$23,\$38,211 |
| 74: bfcb26d3 pushgo \$203,\$38,211 |
| 78: bf04afa1 pushgo \$4,\$175,161 |
| 7c: bf04afa1 pushgo \$4,\$175,161 |
| 80: bf170c00 pushgo \$23,\$12,0 |
| 84: bfcb0c00 pushgo \$203,\$12,0 |
| 88: bf290c00 pushgo \$41,\$12,0 |
| 8c: bff10c00 pushgo \$241,\$12,0 |
| 90: bf171b00 pushgo \$23,\$27,0 |
| 94: bfcb3000 pushgo \$203,\$48,0 |
| 98: bfdfdb00 pushgo \$223,\$219,0 |
| 9c: bfdfe500 pushgo \$223,\$229,0 |
| a0: bf170c00 pushgo \$23,\$12,0 |
| a4: bfcb0c00 pushgo \$203,\$12,0 |
| a8: bf200c00 pushgo \$32,\$12,0 |
| ac: bf200c00 pushgo \$32,\$12,0 |
| b0: bf172000 pushgo \$23,\$32,0 |
| b4: bfcb2000 pushgo \$203,\$32,0 |
| b8: bfe88500 pushgo \$232,\$133,0 |
| bc: bfe88500 pushgo \$232,\$133,0 |
| c0: bf170c00 pushgo \$23,\$12,0 |
| c4: bfcb0c00 pushgo \$203,\$12,0 |
| c8: bf1f0c00 pushgo \$31,\$12,0 |
| cc: bf1f0c00 pushgo \$31,\$12,0 |
| d0: bf172600 pushgo \$23,\$38,0 |
| d4: bfcb2600 pushgo \$203,\$38,0 |
| d8: bf04af00 pushgo \$4,\$175,0 |
| dc: bf04af00 pushgo \$4,\$175,0 |