Bochner_measurable_function loading ...