let addIgnoredFunction fname =
  ignored_functions:=fname::(!ignored_functions)