<div dir="ltr">My project has a struct type as follows and I'm writing a checker for some functions that take the struct value as an argument. In the checkPreCall function I see the argument is an LazyCompoundVal, not a symbol as it would be for a primitive type. I tried a few ways to extract the symbol from the LazyCompountVal with no luck. Hope to get some help here.<br><br><font face="courier new, monospace">struct XY {<br>  uint64_t X;<br>  uint64_t Y;<br>};<br><br>...<br>// checkBind: pos1 -> conj_$3{struct XY, LC1, S63346, #1}</font><div><span style="font-family:"courier new",monospace">struct XY pos1 = next_pos(...);</span>  <font face="courier new, monospace"><br><br>// checkPreCall: Arg0: lazyCompoundVal{0x4aa1c58,pos1}<br>move_to_pos(pos1);</font><br></div></div>