Eliminating overflows in run-time checks.