PIC32 musings