Improve buffer-overflow checking.