Note that it is possible to enable overflow checking in release builds as well.