shift              62 dmtcp_command.cpp #define shift argc--,argv++
shift            1755 dmtcp_coordinator.cpp #define shift argc--; argv++
shift             203 dmtcp_launch.cpp #define shift argc--,argv++
shift             602 dmtcp_restart.cpp #define shift argc--,argv++
shift             166 mtcp/mtcp_restart.c #define shift argv++; argc--;