DMTCP_VERSION_AND_COPYRIGHT_INFO   82 dmtcp_command.cpp       printf("%s", DMTCP_VERSION_AND_COPYRIGHT_INFO);
DMTCP_VERSION_AND_COPYRIGHT_INFO 1778 dmtcp_coordinator.cpp       printf("%s", DMTCP_VERSION_AND_COPYRIGHT_INFO);
DMTCP_VERSION_AND_COPYRIGHT_INFO  215 dmtcp_launch.cpp     printf("%s", DMTCP_VERSION_AND_COPYRIGHT_INFO);
DMTCP_VERSION_AND_COPYRIGHT_INFO  228 dmtcp_launch.cpp       printf("%s", DMTCP_VERSION_AND_COPYRIGHT_INFO);
DMTCP_VERSION_AND_COPYRIGHT_INFO  619 dmtcp_restart.cpp     printf("%s", DMTCP_VERSION_AND_COPYRIGHT_INFO);
DMTCP_VERSION_AND_COPYRIGHT_INFO  632 dmtcp_restart.cpp       printf("%s", DMTCP_VERSION_AND_COPYRIGHT_INFO);