main = defaultMain =<< sequence [{-testDecoderARM-} testDecoderThumb]
main = defaultMain =<< sequence [{-testDecoderARM-} testDecoderThumb]
main = defaultMain =<< sequence [{-testDecoderARM-} testDecoderThumb]