/Versions/1.2/Tue Nov 15 14:20:47 2005//
/pt-machine.h/1.24/Tue Nov 15 14:20:47 2005//
D
