Rigid_analytic_space loading ...