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