ptolemy.domains.hdf.kernel