Extension_by_new_constant_and_function_names loading ...