{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// analysis/dynamic program verification (e.g. Miri or CHERI platforms).
    /// *provenance*. This information is used by the optimiser and for dynamic
    ///