class="anchor"></a><code>| </code><code><span class="constructor">Returned_from_call</span> <span class="keyword">of</span> int</code></td></tr></table></dt><dd><p>type of access</p></dd></dl><dl><dt class="spec value" id="val-dereference_string"><a href="#val-dereference_string" class="anchor"></a><code><span class="keyword">val</span> dereference_string : <a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <a href="index.html#type-deref_str">deref_str</a> <span>&#45;&gt;</s