Should be made explicit what overflow protection in this case entails.