45                        int argc, char **argv);
47 int main(int argc, char **argv) {  in main()  argument
49   if (argc < 2) {  in main()
67   dump_and_run_file(image, image_size, argc - 1, argv + 1);  in main()
144 void dump_and_run_object(Archiver &AR, int argc, char **argv) {  in dump_and_run_object()  argument
168   ((int (*)(int, char **))main_addr)(argc, argv);  in dump_and_run_object()
174                                     int argc, char **argv) {  in dump_and_run_file_from_archive()  argument
176     dump_and_run_object<32>(AR, argc, argv);  in dump_and_run_file_from_archive()
178     dump_and_run_object<64>(AR, argc, argv);  in dump_and_run_file_from_archive()
183                        int argc, char **argv) {  in dump_and_run_file()  argument
204     dump_and_run_file_from_archive(is32bit, AR, argc, argv);  in dump_and_run_file()
207     dump_and_run_file_from_archive(is32bit, AR, argc, argv);  in dump_and_run_file()