Rigid_analytic_geometry loading ...