And a native binary from a memory safe language is probably executed in an OS written in an unsafe language. That hardly means writing the whole software stack

And a native binary from a memory safe language is probably executed in an OS written in an unsafe language. That hardly means writing the whole software stack in an unsafe language is just as safe.