let run () =
  let visitor = new mark_visitor in
  Globals.Functions.iter_on_fundecs
      (fun afundec ->
         if not (should_memorize_function afundec)
         then
           ignore (Cil.visitCilFunction (visitor:>Cil.cilVisitor) afundec))