Symbol: GPIO_NUM_PINS