module "routed-domain" {