A gdb session restorer . s