let cvar_of_var vinfo =
      define_vinfo vinfo ;
      Loc 
        {base   = F.Xindex.get_ind vinfo; 
         off = F.i_zero; 
         obj    = (Ctypes.object_of (vinfo.vtype))}