f</a> &#x00BB; <a href="../index.html">Run</a> &#x00BB; Runner</nav><h1>Module <code>Run.Runner</code></h1></header><aside><p>This module provide the program runner that caches all the information required to make a state transition</p><p>Later this module will handle inlining in a transparent way, and may also compress basic block traces (We'll need to check this is okay with type inference)</p><p>For now this module load instructions on a per-symbol basis, and do not try to load instructions outside of fu