Some trivial examples for PIC32 microcontrollers.