Symbol: stm32_timer_start