It looks like there is no reason why GlobalDecls couldn't represent a local scope -- there aren't any declarations or definitions in local scopes that can't fit in one of gObjs, gTags, or gTypeDefs. Am I wrong? Denis