jrh: Dinobuzz created 10/28/95

Dave Smith: new banner, added includes, minor reorganization, code cleanup — 9/27/05