Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-15 23:26:16 -0800 (Tue, 15 Nov 2005)
Revision: 8188
Log message:

      - normalizeC should not call reduceC in the end, since reduceC might be doing
        something incompatible with arithT's or omegaT's assumptions.
      
      - updated ascii_io to be more efficient for large files (fixed a few places
        where it was not tail-recursive).