Constant intra_doc_pointers 

pub const intra_doc_pointers: Symbol;