dmtcp_Terminal_EventHook  600 dmtcpworker.cpp void dmtcp_Terminal_EventHook(DmtcpEvent_t event, DmtcpEventData_t *data);
dmtcp_Terminal_EventHook  608 dmtcpworker.cpp   dmtcp_Terminal_EventHook(event, data);