/initspin.h/1.1/Wed Apr 19 05:35:34 2006//
/pthreadtypes.h/1.2/Wed May  2 02:07:38 2007//
D
