/README/1.2/Tue Nov  8 10:35:21 2005//
/reducerc/1.2/Tue Nov  8 10:35:21 2005//
/tmprint.red/1.1/Tue Nov  8 10:35:21 2005//
D
