Primitive_recursive loading ...