orig_argc          37 dmtcp_launch.cpp static void processArgs(int *orig_argc, char ***orig_argv,
orig_argc         204 dmtcp_launch.cpp static void processArgs(int *orig_argc, char ***orig_argv,
orig_argc         208 dmtcp_launch.cpp   int argc = *orig_argc;
orig_argc         334 dmtcp_launch.cpp   *orig_argc = argc;