Categorical_Abstract_Machine_Language loading ...