let
global = define_vinfo