_clientNumber     494 dmtcp_coordinator.cpp   _clientNumber = theNextClientNumber++;
_clientNumber      43 dmtcp_coordinator.h       int clientNumber() const { return _clientNumber; }
_clientNumber      61 dmtcp_coordinator.h       int _clientNumber;