let getIgnoredFunctions () =
  (!ignored_functions)