The Integer

The narrative follows a 32-bit signed integer in Ada that reaches its maximum value 2,147,483,647 and then attempts to add one, triggering a CONSTRAINT_ERROR rather than wrapping to −2,147,483,648. The runtime propagates the explicit raise, unwinds the call stack, reclaims the variable’s memory, and terminates the program without overflow.