public function quoteUtf8($s) { $u = new haxe_Utf8(null); haxe_Utf8::iter($s, array(new _hx_lambda(array(&$u), "haxe_format_JsonPrinter_0"), 'execute')); $this->buf->add("\""); $this->buf->add($u->toString()); $this->buf->add("\""); }