killInProgress    438 dmtcp_coordinator.cpp static bool killInProgress = false;
killInProgress    928 dmtcp_coordinator.cpp     killInProgress = false;
killInProgress    943 dmtcp_coordinator.cpp   killInProgress = false;
killInProgress   1032 dmtcp_coordinator.cpp   if (killInProgress) {
killInProgress   1321 dmtcp_coordinator.cpp     killInProgress = true;