What we really need is a hardware extension for ARM&#x2F;Intel that traps on under&#x2F;overflow:  <a href="http:&#x2F;&#x2F;blog.regehr.org&#x2F;archives&#x2F;1154" rel="nofollow">http:&#x2F;&#x2F;blog.regehr.org&#x2F;archives&#x2F;1154</a>