/Versions/1.2/Fri Feb  1 23:21:31 2002//
/pt-machine.h/1.22/Thu Jul 31 19:15:43 2003//
D
