-fetch"><a href="#val-fetch" class="anchor"></a><code><span class="keyword">val</span> fetch : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="index.html#type-slot">slot</a></code></dt><dd><p>Fetch an instruction, and return corresponding slot.</p></dd></dl><dl><dt class="spec value" id="val-execute_normal"><a href="#val-execute_normal" class="anchor"></a><code><span class="keyword">val</span> execute_normal : <span>?&#8288;prelock:<span>(<a href="../../State/ind