let
xaddr_of_gvar v =
Laddr
(
Aint
.of_term (
L
.gaddr (name_of_var v)))