[armedbear-devel] The purpose of the writeToString() method (before we can rename it to printObject() or anything else)