Avance in 32 bit thumb decoding