method vvrbl vi =
if vi.vglob then
(if !debug then (Kernel.debug "memReadOrAddrOfFinder: %s is a global\n"
vi.vname);
exp_ok := false;
SkipChildren)
else if vi.vaddrof then
(if !debug then
(Kernel.debug "memReadOrAddrOfFinder: %s has its address taken\n"
vi.vname);
exp_ok := false;
SkipChildren)
else (if !debug then (Kernel.debug "memReadOrAddrOfFinder: %s does not have its address taken\n"
vi.vname);
DoChildren)