General_recursive_function loading ...