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