Partial_recursive_function loading ...