#PROG: objcopy
#objdump: -d --prefix-addresses --show-raw-insn
#name: microMIPS source file contains reserved encoding (n32)
#source: micromips-reserved-enc.s
#dump: micromips-reserved-enc-o32.d