4 .*: file format elf64-mmix
6 Disassembly of section \.text:
8 0000000000000000 <Main>:
11 0000000000000004 <here>:
12 4: fd000000 swym 0,0,0
13 8: f519ffff geta \$25,4 <here>
15 000000000000000c <at>:
16 c: f4200000 geta \$32,c <at>
17 10: 424e0008 bz \$78,30 <there>
18 14: f35bfffc pushj \$91,4 <here>
19 18: f387fffb pushj \$135,4 <here>
20 1c: f4870005 geta \$135,30 <there>
21 20: f2870004 pushj \$135,30 <there>
22 24: f2490003 pushj \$73,30 <there>
23 28: f2380002 pushj \$56,30 <there>
24 2c: 5f87fff6 pbev \$135,4 <here>
26 0000000000000030 <there>:
27 30: fd000000 swym 0,0,0