pub const intra_doc_pointers: Symbol;