On Sat, Jul 26, 2014 at 09:32:37PM +0200, Robert C. Helling wrote: > Hi, > > as we already have unicode in our sources, we can as well spell that name properly. Nope. We will not at unicode variable and structure names. /D