| # objdump: -dr |
| .*: file format elf64-mmix |
| |
| Disassembly of section \.text: |
| |
| 0000000000000000 <Main>: |
| 0: 9a7b0c43 preld 123,\$12,\$67 |
| 4: 9c200c43 prego 32,\$12,\$67 |
| 8: b87b2043 syncd 123,\$32,\$67 |
| c: ba008543 prest 0,\$133,\$67 |
| 10: b47b0c49 stco 123,\$12,\$73 |
| 14: bc820ce9 syncid 130,\$12,\$233 |
| 18: 9a7b26d4 preld 123,\$38,\$212 |
| 1c: 9c01afb5 prego 1,\$175,\$181 |
| 20: b97b0cb0 syncd 123,\$12,176 |
| 24: bb200cb0 prest 32,\$12,176 |
| 28: b57b84b0 stco 123,\$132,176 |
| 2c: bde885b0 syncid 232,\$133,176 |
| 30: 9b7b0ccb preld 123,\$12,203 |
| 34: 9de70cd5 prego 231,\$12,213 |
| 38: b97b26d3 syncd 123,\$38,211 |
| 3c: bb04afa1 prest 4,\$175,161 |
| 40: b57b0c00 stco 123,\$12,0 |
| 44: bd170c00 syncid 23,\$12,0 |
| 48: 9b020c00 preld 2,\$12,0 |
| 4c: 9de88500 prego 232,\$133,0 |
| 50: b97b0c00 syncd 123,\$12,0 |
| 54: bb0d0c00 prest 13,\$12,0 |
| 58: b57b2600 stco 123,\$38,0 |
| 5c: bd04af00 syncid 4,\$175,0 |
| 60: 9b7b0c00 preld 123,\$12,0 |
| 64: 9d200c00 prego 32,\$12,0 |
| 68: b97b2000 syncd 123,\$32,0 |
| 6c: bbe88500 prest 232,\$133,0 |
