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