8 # Like pushja1f, but with PUSHJ stub.
10 .*: file format elf64-mmix
11 Disassembly of section \.text:
13 0: e3fd0001 setl \$253,0x1
15 4: e3fd0002 setl \$253,0x2
16 8: f20c0002 pushj \$12,10 <a>
17 c: e3fd0003 setl \$253,0x3
19 10: e3fd0004 setl \$253,0x4