code: function stringDestination() {
          var cs = [], ps = []; return function() {
              if (arguments.length === 0)
                  return ps.join('')+stringFromCharCode.apply(String, cs);
              if (cs.length + arguments.length > 1024)
                  ps.push(stringFromCharCode.apply(String, cs)),
                      cs.length = 0;
              Array.prototype.push.apply(cs, arguments);
          };
      }
docs: Creates a destination function for a string.
  @returns {function(number=):undefined|string} Destination function successively called with the next char code.
  Returns the final string when called without arguments.
  @inner