let cvar m vi =
      VarDecl.define vi ;
      Tint.xaddr_of_var (F.var m.valloc) vi