modified:   Kernel/src/DmpBindingKernel.cc