289                        const executor::exit_handle& exit_handle)  in dump_stacktrace()  argument
291     PRE(exit_handle.status());  in dump_stacktrace()
292     const process::status& status = exit_handle.status().get();  in dump_stacktrace()
295     std::ofstream gdb_err(exit_handle.stderr_file().c_str(), std::ios::app);  in dump_stacktrace()
298            exit_handle.stderr_file());  in dump_stacktrace()
314         program, status, exit_handle.work_directory());  in dump_stacktrace()
324             exit_handle, gdb_timeout);  in dump_stacktrace()
325     const executor::exit_handle gdb_exit_handle =  in dump_stacktrace()
363                                     const executor::exit_handle& exit_handle)  in dump_stacktrace_if_available()  argument
365     const optional< process::status >& status = exit_handle.status();  in dump_stacktrace_if_available()
369     dump_stacktrace(program, executor_handle, exit_handle);  in dump_stacktrace_if_available()