let
getFunctions_from_auto () =
(!functions_from_auto)