{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// The result must be used immediately; it is not allowed to convert
    ///
    /// the returned data back into a `Pointer` and store that in machine state.