let
ignored_functions = ref []