25 posts were split to a new topic: How does inline assembly and the physical machine fit into the abstract machine model, or exist outside of it?
Note: To avoid breaking apart reply chains too much, the first posts in that split-off thread did end up containing some replies that do fully, or in part relate very directly to “freeze” and uninitialized memory, so some if its initial post and replies can be of interest to readers of this topic as well.