in reply to Optimization of DB_File sorting and processing code

Optimizing ends to require that the optimizer knows what the goal is, otherwise you runthe risk of optimizing away desired side effects.