https://yorickpeterse.com/articles/friendship-ended-with-the-garbage-collector/
An interesting approach to memory safety: Ownership and reference counting, then if the owner is reallocated with a reference count > 0 kill the program.