Re: What top-level names are “allocated”?