let getVariables_from_auto () =
  (!variables_from_auto)