| #as: -x | |
| #source: pushj-c.s | |
| #objdump: -tdr | |
| .*: file format elf64-mmix | |
| SYMBOL TABLE: | |
| 0+ l d .text 0+ (|\.text) | |
| 0+ l d .data 0+ (|\.data) | |
| 0+ l d .bss 0+ (|\.bss) | |
| ffff0000ffff0000 l \*ABS\* 0+ i1 | |
| ffff0000ffff0000 l \*ABS\* 0+ i2 | |
| 0+ g F .text 0+ Main | |
| Disassembly of section \.text: | |
| 0+ <Main>: | |
| 0: f2010000 pushj \$1,0 <Main> | |
| 0: R_MMIX_PUSHJ_STUBBABLE \*ABS\*-0xffff00010000 | |
| 4: f2020000 pushj \$2,4 <Main\+0x4> | |
| 4: R_MMIX_PUSHJ_STUBBABLE i2 |