PIC32 Microcontroller code