setDefaultCoordinator  166 dmtcpmessagetypes.h     static void setDefaultCoordinator ( const DmtcpUniqueProcessId& id );
setDefaultCoordinator  167 dmtcpmessagetypes.h     static void setDefaultCoordinator ( const UniquePid& id );