method vlval (host,_) = begin match host with | Mem _ -> mem_access <- mem_access + 1 | _ -> () end; DoChildren