Symbol: stm32_gpio_pin