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