Do not rely on char arrays being initialized to 0
Explicitly cast Dsymbol to void*