[Bug 42835] redefinition of typedef 'WSD*'