refix to the traces in the record</p><span class="comment-delim">*)</span></td></tr><tr id="type-access_to_invalid_address.invalid_address" class="anchored"><td class="def record field"><a href="#type-access_to_invalid_address.invalid_address" class="anchor"></a><code><span>invalid_address : <a href="../PulseDecompilerExpr/index.html#type-t">DecompilerExpr.t</a>;</span></code></td></tr><tr id="type-access_to_invalid_address.invalidation" class="anchored"><td class="def record field"><a href="#type-access_to