Symbol: GPIO_RED_LED