ptolemy.domains.modal.kernel.fmv