let ignored_functions = ref []