dispatcher_plugin_integral_all_sky
