HAVE_ENCODER_ARMTHUMB   85 config.h       #define HAVE_ENCODER_ARMTHUMB 1
HAVE_ENCODER_ARMTHUMB   44 dos/config.h   #define HAVE_ENCODER_ARMTHUMB 1