/1.cc/1.3/Wed Jan  7 17:13:50 2004//
/2.cc/1.1/Thu Nov 13 17:43:47 2003//
/exceptions_badbit_throw.cc/1.1/Thu Nov 27 08:14:24 2003//
D
