void pwmtimer_init(void); void systemTimer_init(void); volatile uint16_t sysTimer; volatile uint16_t stateTimer;