What I want is for the semantics of the language to match the semantics of the physical machine I&#x27;m writing software for. If on x86 INT_MAX+1==INT_MIN, then that&#x27;s what should happen on x86. If on ARM INT_MAX+1==INT_MAX, that&#x27;s what should happen on ARM. No, I don&#x27;t want portability. Portability means you&#x27;re coding against the least common denominator. If I want it to be portable, I&#x27;ll use a different compiler.