method vlval (host, _) = begin match host with | Mem _ -> self#incr_both_metrics (self#incr_ptrs); | _ -> () end; Cil.DoChildren