Add a dump-pseudo-stack function to gdbinit