modified:   Kernel/src/DmpCore.cc