#include <xc.h>

/* configuration settings not shown */
/* OSC configured for SYSCLK=80 MHz */

int main(void)
{
    // System Initialization

    // Data Memory SRAM wait states: Default Setting = 1; set it to 0
    BMXCONbits.BMXWSDRM = 0;

    // Flash PM Wait States: MX Flash runs at 2 wait states @ 80 MHz
    CHECONbits.PFMWS = 2;

    // Prefetch-cache: Enable prefetch for cacheable PFM instructions
    CHECONbits.PREFEN = 1;

    // Main Application

    while(1);                        

}