let variables_from_auto = ref []