theNextClientNumber  482 dmtcp_coordinator.cpp static int theNextClientNumber = 1;
theNextClientNumber  494 dmtcp_coordinator.cpp   _clientNumber = theNextClientNumber++;