// uncomment line below if the program is standalone, not bootloaded
//#define NU32_STANDALONE
#include <plib.h>
#include "NU32.h"

// LEDs
#define ML LATDbits.LATD0
#define MR LATDbits.LATD1
#define DL LATDbits.LATD10
#define DR LATDbits.LATD11

// Push buttons
#define BL PORTEbits.RE8
#define BR PORTEbits.RE9

int main(void) {
  NU32_Startup(); // set NU32 to maximum speed

  // make the LED pins output
  TRISDbits.TRISD0 = 0;
  TRISDbits.TRISD1 = 0;
  TRISDbits.TRISD10 = 0;
  TRISDbits.TRISD11 = 0;

  // make the push button pins input
  TRISEbits.TRISE8 = 1;
  TRISEbits.TRISE9 = 1;

  // turn the LEDs on
  ML = 1;
  // MR = ...

  while (1) {
      // your code here ...

  }
  return 0;
}