W3ADocumentInfo *new_doc(void);