On 2012-10-04 12:59, Alex Rønne Petersen wrote: > I agree that it should be, FWIW. The problem is that some people really > expect the ABI to be altered, which is unrealistic. Is there an advantage of altering the ABI? -- /Jacob Carlborg