dump_pipe_info
add_debugger_command("ie_pipe", dump_pipe_info,
remove_debugger_command("ie_pipe", dump_pipe_info);