context: String_prototype_doWrite_mutable = function(p) {    // TODO: handle escape-chars symbols    p.appendJSString(this);}
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/0bc8f13bad18ef0f992ba2b90f387c220c907455/runtime.js/buggy/scheme2js/runtime/runtime.js