Real_analytic_function loading ...