>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Pedro> Doesn't really matter much, but would it be trivial to strip Pedro> out the TARGET_DEBUG_PRINTER part in these generated methods? Tom> FWIW I did this. New patch appended. I'm checking this in now. Tom