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))}