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