let ignore_list_internal = ref []