DMT_DO_DRAIN      671 dmtcp_coordinator.cpp     broadcastMessage ( DMT_DO_DRAIN );
DMT_DO_DRAIN      169 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( DMT_DO_DRAIN )
DMT_DO_DRAIN       61 dmtcpmessagetypes.h     DMT_DO_DRAIN,            // when coordinator wants slave to flush
DMT_DO_DRAIN      542 dmtcpworker.cpp   waitForCoordinatorMsg ("DRAIN", DMT_DO_DRAIN);