/* This function handles external line 15_10 interrupt request.  */
void EXTI15_10_IRQHandler(void)
/* This function handles external line 15_10 interrupt request.  */
void EXTI15_10_IRQHandler(void)
{
  HAL_GPIO_EXTI_IRQHandler(USER_BUTTON_PIN);
}