GDB printf command

> Well, the very first thing is going to be a version of
gnulib that lets
> us reuse its printf this way.  I'll contact the gnulib
maintainers
> about that right now, and get back to you.

 From what I can see in the bug-gnulib archives, this seems
to have hit 
a problem.

What's going on?

Andrew