For PIC32MZ
benchmark.c conflicts resolved