let at_exit_functions = ref []