{"ast_node_type":"import","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// data. This is sound even if the pointer is "misused" since any such use is anyway
    /// The borrow checker allows overlap of these raw pointers with references to the
    /// unsafe. In terms of the operational semantics (i.e., Miri), this is equivalent