{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"ReadPartialPointer(Size),"}]}
    ReadPartialPointer(Size),
    /// Partially copying a pointer.
    /// Using uninitialized data where it is not allowed.