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