let define_vinfo x = if x.vglob then Globals.define x