* external/core/: adding .cmt