Symbol: mipsr2_decoder