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