[Bug 42835] New: redefinition of typedef 'WSD*'