Strongly_measurable_function loading ...