dump_syscall_tracing
add_debugger_command_etc("straced", &dump_syscall_tracing,
static int dump_syscall_tracing(int argc, char** argv);