the other half from memory at a specific address coming from another register.</p><p>Those expression are not directly usable to guide the type inference, as we would much more like simple direct information like &quot;This value is in that register&quot;. To solve this, there is a custom type <a href="index.html#type-t"><code>t</code></a> that interpret simple static locations directly and leaves more complex location uninterpreted.</p><p>This interpretation is currently very basic. It remains to be seen i