module "imported-contract" {