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