let getFunctions_from_auto () =
  (!functions_from_auto)