On 28/11/2007, Georg Brandl <g.brandl at gmx.net> wrote: > Christian Heimes schrieb: > > What name do you prefer? I'm +1 with Raymond on __root__ but I'm still > > open for better suggestions. > > FWIW, +1 for __root__ too. What about __global__? If that's not an option, I'm OK with __root__. Paul.