Symbol: S32_PIN_RANGE