module "input-provided" {