/pt-machine.h/1.24/Tue Nov 15 14:20:47 2005//
/Versions/1.2/Thu Mar  9 20:32:30 2006//
D