"Global" top-level name proposed