Yes, that is correct. In theory, a single incorrect unsafe block can have effects on every other part of the program. Of course the idea is that you limit the

Yes, that is correct. In theory, a single incorrect unsafe block can have effects on every other part of the program. Of course the idea is that you limit the unsafe stuff to small areas of the code so you can really think through those parts to make sure they do what you think they should do. Another thing that's nice about containing the unsafe code to small blocks is that you start each unsafe block from a state of the program with all the guarantees from the surrounding safe code, which makes it easier to recognize what could go wrong in the unsafe code.