why the type cannot be tested.
Update the generated files, they compile and run successfully both on
Windows (with the Windows headers) and in Wine.