let
getVariables_from_auto () =
(!variables_from_auto)