On 2010-02-18 03:06, kahl at cas.mcmaster.ca wrote: > Anyway, where does this crazy space usage come from? My guess is lack of sharing. > and I have the impression that it might be expanded again and again, > just to check whether the expansions are equal. Quite likely. Ulf knows the details. -- /NAD