[dnautics]

indeed, very few programming languages actually do that, and you're probably running the language on top of another language that has flawed guarantees on those constraints. Or hardware. How do you guarantee your program hasn't gone rogue if you can't guarantee the bits in your memory.

[zzzcpan]

Yeah, this would be the question for fault tolerance and the whole world of distributed systems that inevitably comes with it.