Total_recursive_function loading ...