Richard Guenther wrote: > Is it not that maybe most of the exported symbols are not necessary and can > be made hidden? We already did that. This is the number of symbols in the public API. Andrew.