theState           30 dmtcpmessagetypes.cpp   return theState;
theState           35 dmtcpmessagetypes.cpp   theState = theValue;