>>>>> "Mark" == Mark Kettenis <mark.kettenis@xs4all.nl> writes: Tom> The gnulib inttypes.h module defines these. Mark> But unless I'm missing something, we don't have that module yet, so it Mark> would have to be imported first. Yes, and I suppose wired up to gdbserver. Importing it is easy, wiring it up... Tom