ptolemy.domains.ci.kernel