Categorical_abstract_machine loading ...