module "registry" {