13.2 Integer Overflow
Although some traditional C programs assume that signed integer overflow
wraps around reliably using two’s complement arithmetic, the C standard
says that program behavior is undefined on overflow, and these C
programs may not work on many modern implementations.