On 4/4/19 1:20 PM, Manu wrote: > Also, FWIW, I think this is a fairly recent change (ie, last 5 years). Good to know, thanks! Found this, too: https://stackoverflow.com/questions/32447978/odd-vs-name-mangling-behavior/32448512 I'll email Herb.