module "lucy" {