PIC32 Nascom emulator