void button_Init ( void ) {
    GPIO_InitTypeDef port ;
    __HAL_RCC_GPIOA_CLK_ENABLE ();
    /* Configure the GPIO_LED pin */
    port . Pin = GPIO_PIN_0 ;
    port . Mode = GPIO_MODE_INPUT ;
    port . Pull = GPIO_PULLUP ;
    HAL_GPIO_Init ( GPIOA , & port );
}