/18185.cc/1.2/Thu Aug 18 23:13:48 2005//
/pthread1.cc/1.14/Thu Aug 18 23:13:48 2005//
/pthread2.cc/1.8/Thu Aug 18 23:13:48 2005//
/pthread3.cc/1.8/Thu Aug 18 23:13:48 2005//
/pthread4.cc/1.13/Thu Aug 18 23:13:48 2005//
/pthread5.cc/1.13/Thu Aug 18 23:13:48 2005//
/pthread6.cc/1.11/Thu Aug 18 23:13:48 2005//
/pthread7-rope.cc/1.12/Thu Aug 18 23:13:48 2005//
D
