On Mon, Mar 12, 2012 at 3:56 AM, Ludovic Courtès <ludovic.courtes@inria.fr> wrote: > Symbols declared in <tree.h> are mangled, for instance. I’m not sure > whether <tree.h> is considered internal or not, but I can hardly see > what kind of plug-in could be written without using it. tree.h is internal. -- Gaby