{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// The size can be zero if the pointer is not dereferenceable.
    /// while this function is still running.
    pub size: Size,