/* adc3.h */ void adc_start(void); void timer0_init (void); void adc_init(void); void timer1_init(void); void serial0_init(void);