9b9f7b3ccd
to 32 to support memory bank switching; temporarily use 32-bit for WORD_BITSIZE to avoid a bug in sim-common.