The important thing is that the unsafe implementation satisfies the invariants of type system. So the unsafety is contained within a much smaller surface area t

The important thing is that the unsafe implementation satisfies the invariants of type system. So the unsafety is contained within a much smaller surface area than those other systems programming languages.