I don&#x27;t think this is very surprising; if you do something unsafe hapharzardly within an unsafe block you can put the program in a state a safe program would not be able to reach, so further computation is in an unsafe state.<p>In fact isn&#x27;t this why we have unsafe in the first place; so that such code can be more easily verified? I disagree with the notion the author suggests that the problem isn&#x27;t in the unsafe code.