On 09/11/15 15:56, David Brown wrote: > (I'm merely a "customer" of gcc, not a developer - but the customer is > always right :-) ) But you're not the only customer, and other customers may disagree with your priorities. R.