Symbol: LED_GPIO_PIN