Is it possible for you to step through default-printer-name with GDB
and see what happens there? I can send you detailed instructions, if
you need them.
Please do.
Is it correct that default-printer-name is implemented in C (which is why I need GDB)?