This class implements data output somewhat more efficiently than
the JDK version. It also implements buffering and counting,
to help us avoid extra layers of stream classes.
4/2/03: XX What JDK version? this hasn't been examined recently...
author: Stan Bailes