This patch eliminates almost all possible sources of buffer overflow;
in particular, there are no more sprintf() bugs. (!!) This patch
also has a few other fixes. With these changes in place, I can sleep
at night. (Because I've stopped hacking. :-))