/* This function handles EXTI line 4 to 15 interrupts.  */
void EXTI4_15_IRQHandler(void)
/* This function handles EXTI line 4 to 15 interrupts.  */
void EXTI4_15_IRQHandler(void)
{
    HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_8);
    HAL_GPIO_EXTI_IRQHandler(GPIO_PIN_13);
}