module "contract" {