let
getIgnoredFunctions () =
(!ignored_functions)