Unsigned integer overflow is well defined, though. Not something that should be sanitized. A lot of code out there relies on it.