let cvar m vi = 
      VarDecl.define vi ;
      Tint.xaddr_of_var (malloc_of_mem m) vi