1#source: start.s
2#source: a.s
3#source: pushja.s
4#as: -x
5#ld: -m elf64mmix
6#objdump: -dr
7
8# Like pushja1b but with PUSHJ stub.
9
10.*:     file format elf64-mmix
11Disassembly of section \.text:
120+ <_start>:
13   0:	e3fd0001 	setl \$253,0x1
140+4 <a>:
15   4:	e3fd0004 	setl \$253,0x4
160+8 <pushja>:
17   8:	e3fd0002 	setl \$253,0x2
18   c:	f30cfffe 	pushj \$12,4 <a>
19  10:	e3fd0003 	setl \$253,0x3
20