#ifndef _TIMER_H #define _TIMER_H void init_timer3(void); #endif