Symbol: GPIO_PINS