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))