void HAL_TIM_IRQHandler(TIM_HandleTypeDef *htim)
{
    // Body removed for brevity
}