/clock.cxx/1.21/Sun Aug  8 21:12:25 2004//
/except.cxx/1.6/Thu May 23 23:06:52 2002//
/kapi.cxx/1.24/Mon Mar 15 15:20:53 2004//
/thread.cxx/1.23/Mon Jul  2 11:49:10 2007//
/timer.cxx/1.6/Thu May 23 23:06:53 2002//
D
