Simulator of pic32 microcontroller, based on OVPsim