Pinball system based off the PIC32 and Parallax Propeller microcontrollers