-t.i" class="anchored"><td class="def field"><a href="#type-t.i" class="anchor"></a><code>i : <a href="../../IR/IntLit/index.html#type-t">IR.IntLit.t</a>;</code></td></tr><tr id="type-t.java_tmp" class="anchored"><td class="def field"><a href="#type-t.java_tmp" class="anchor"></a><code>java_tmp : <span><a href="../../BO/AbsLoc/Loc/index.html#type-t">BO.AbsLoc.Loc.t</a> option</span>;</code></td></tr></table><code>}</code></td><td class="doc"><p>Since Sil distinguishes logical and program variables, we need 