/Versions/1.2/Fri Feb  1 23:21:31 2002//
/pt-machine.h/1.25/Wed Apr 26 15:35:05 2006//
D
