void timer_start_adcs();
/* pwm.c */
-#define PWM_MAX 0x1FF
+#define PWM_MAX 0x1E4 /* This should be different than ADC frequency 125 kHz */
void init_pwm();
void susp_pwm();
void pattern_init();
void patterns_next_tick();
-void led_set_status(unsigned char status);
void led_set_pattern(unsigned char led, pattern_t *pattern);
pattern_t *number_pattern(unsigned char num);
void init_buttons();
void timer_check_buttons();
unsigned char get_user_param(unsigned char param);
+pattern_t *status_pattern_select(unsigned char n);
/* battery.c */
extern volatile unsigned char battery_100mv;