let define_vinfo x = 
      if x.vglob && (Ctypes.no_infinite_array (Ctypes.object_of x.vtype))
      then Globals.define x