/Versions/1.2/Fri Feb  1 23:21:31 2002//
/pt-machine.h/1.23/Sat Sep 25 10:04:15 2004//
D
