//function to initialize the ADC
void initADC();

//function to read the ADC. This returns a 10 bit unsigned int.
uint32_t readPot();