Some things definitely do become magically safe when the language you are using tightly restricts you from doing very common and unsafe things!