method vlval (host,_) =
    begin
      match host with
      | Mem _ -> mem_access <- mem_access + 1;
          self#add_stat (current_file_name,current_function_name,(0,0,0,0,0,1,0,0))
      | _ -> ()
    end;
    DoChildren