Primitive_recursive_function loading ...