OSHIFTPRINTF      101 dmtcpmessagetypes.cpp #define OSHIFTPRINTF(name) case WorkerState::name: o << #name; break;
OSHIFTPRINTF      141 dmtcpmessagetypes.cpp #undef OSHIFTPRINTF
OSHIFTPRINTF      142 dmtcpmessagetypes.cpp #define OSHIFTPRINTF(name) case name: o << #name; break;