Symbol: s32_pin_range