#objdump: -dr -mmips:4000 -mmips:16 #as: -mips3 -mtune=r4000 -mips16 -mabi=o64 #name: mips16 jalx .*: file format .* Disassembly of section .text: 00000000 <.text>: 0: 1c00 0000 jalx 0x0 0: R_MIPS16_26 external_label 4: 6500 nop 6: 6500 nop 8: 6500 nop a: 6500 nop c: 6500 nop e: 6500 nop