Primitive_recursive_set_function