How to use storytelling to fit inline assembly into Rust
Summary
This post argues for a storytelling approach to modeling inline assembly in Rust, tying asm semantics to the Rust Abstract Machine. It defines a 'story code' concept, outlines rules for aligning inline assembly with observable Rust state, and surveys examples from page table manipulation to floating point control, emphasizing a conservative path to avoid miscompilations.