A simulated ARM microprocessor