/Dist/1.1/Wed Sep  6 10:52:05 2000//
/sfp-machine.h/1.2/Mon Mar 17 15:47:12 2003//
D
