/Dist/1.1/Wed Sep  6 10:52:05 2000//
/sfp-machine.h/1.1/Tue Sep  5 08:41:37 2000//
D
