module "normalize-recordsets" {