{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// *provenance*. This information is used by the optimiser and for dynamic
    /// just an *address* a pointer may be associated with a particular
    /// analysis/dynamic program verification (e.g. Miri or CHERI platforms).