Symbol: GPIO_PIN