Symbol: MAX_GPIO_PIN_NUMBER