Pointer release semantics