module "dts" {