module "demo-module" {