{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"///"}]}
    /// stored in machine state).
    /// (i.e., we'll never turn the data returned here back into a `Pointer` that might be
    ///