<Fortran doesn't even define the concept of overflowing of INTEGERs (which are always signed in arithmetic context). >> And it is clear that integer overflow is undefined in Fortran, OK, so that's not a counter example, but Ada sure is, Ada requires runtime exceptions to be raised for integer overflow.