PIC32 Flash writing library