Continuous_functional_calculus loading ...