clientNumber      571 dmtcp_coordinator.cpp       JASSERT_STDERR << clients[i]->clientNumber()
clientNumber       43 dmtcp_coordinator.h       int clientNumber() const { return _clientNumber; }