let varinfo_of_xaddr a = match a with
      | Lvaddr (_, vi) -> Some vi
      | _ -> None