The guarantee I prefer is &quot;If there&#x27;s a segfault and you didn&#x27;t write `unsafe`, it&#x27;s not your fault&quot;. This is not necessarily referring to a single change, but rather the application as a whole. Dependencies like libstd are ignored here .<p>As soon as there&#x27;s any `unsafe` in your code, you&#x27;ve unlocked hard mode and everything is probably your fault.