[[Box deallocation principle]]
[[Moved heap data principle]]
[[Pointer safety principle]]