/Dist/1.1/Wed Sep  6 10:52:05 2000//
/sfp-machine.h/1.2/Fri Nov  1 21:49:28 2002//
D
