Symbol: GPIOLED_PIN