Here Board_ADCCHANNEL_A1 these macros i was not able to find in "ADCBuf.h", should I have to define those? how do I map the adcChannel to pin. We have 6 ADC channels by giving 1,2,3,4,5 will it take care of the pins and what is the first argument of ADCBuf_open()