battery_adc_value B 440 
button_counter T 304 
ch0_adc_value B 438 
ch0_pulse_count B 428 
ch0_read T 34 
ch0_type B 430 
ch1_adc_value B 43c 
ch1_pulse_count B 42c 
ch1_read T 190 
ch1_type B 434 
check_wake_up T 308 
entry T 0 
exit T 3dc 
input B 44c 
stop_and_exit T 3e0 
use_led B 444 
use_out B 448 
wake_up T 3e8 
wake_up_counter T 2fc 
wake_up_event T 300 
wake_up_period T 2f8 
