{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
    /// to be recovered. "Pointer-to-int cast"
    /// Marks a pointer as exposed, allowing its provenance
    fn expose_provenance(