Riemann_integral loading ...