void copy_doc(W3ADocumentInfo *target, const W3ADocumentInfo source);
 void dispose_doc(W3ADocumentInfo *doc);
 W3ADocumentInfo *new_doc(void);