MODULE_NAME: "registry" = 'registry'

ModuleName is a unique module name for the registry module.