microARM: an ARM7TDMI Emulator