Weakly_measurable_function loading ...