//function to initialize the user LEDs
void initUserIO();

//function to switch on all 3 LEDs
void LEDsOn();

//function to switch off all 3 LEDs
void LEDsOff();

//function to switch on a single LED. Indicate the LED to switch on (1, 2 or 3)
void LEDOn(uint16_t LEDNumber);

//function to switch off a single LED. Indicate the LED to switch off (1, 2 or 3)
void LEDOff(uint16_t LEDNumber);

//function to toggle a single LED. Indicate the LED to toggle (1, 2 or 3)
void LEDToggle(uint16_t LEDNumber);