Symbol: PROBES_SATURATING_ARITHMETIC