Frees the memory pointed to by ptr_ref and sets the pointer to NULL.
Use this only when the pointed memory is not already owned by another
external pointer with its own finalizer.
Frees the memory pointed to by ptr_ref and sets the pointer to NULL.
Use this only when the pointed memory is not already owned by another
external pointer with its own finalizer.