void dispose_doc(W3ADocumentInfo *doc);