Symbol: MAX_GPIO_PINS