I am interested in knowing if (and how much) anybody uses the gdbreplay utility that comes as a part of gdbserver. It's an interesting (and elegantly simple) utility, but somewhat limited, and I have some ideas for improving it. Not much use, though, if nobody ever uses it! Thanks, Michael