Partial_recursive_function