module "core" {