let ignore_auto = ref true