/Dist/1.1/Wed Sep  6 10:52:05 2000//
/sfp-machine.h/1.2/Wed Feb 19 17:29:30 2003//
D
