{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"///"}]}
    /// while this function is still running.
    /// of this function call", i.e. it is UB for the memory that this pointer points to be freed
    /// The size can be zero if the pointer is not dereferenceable.