HAVE_DECODER_ARMTHUMB   55 config.h       #define HAVE_DECODER_ARMTHUMB 1
HAVE_DECODER_ARMTHUMB   17 dos/config.h   #define HAVE_DECODER_ARMTHUMB 1