12 # Check that PUSHJ with an offset just within reach of JMP gets it, ELF
15 .*: file format elf64-mmix
16 Disassembly of section \.init:
18 0: e37704a6 setl \$119,0x4a6
19 Disassembly of section \.text:
21 4: e3fd0002 setl \$253,0x2
22 8: f20c0002 pushj \$12,10 <pushja\+0xc>
23 c: e3fd0003 setl \$253,0x3
24 10: f0ffffff jmp 400000c <a>
27 400000c: e3fd0004 setl \$253,0x4
29 4000010: e3fd0001 setl \$253,0x1