writes to a string rather than outputs to the supplied printer. This is convenient for disassemblers that are structured to build a long string and print it later. Perhaps db_printsym() should be changed to use this interface...