next: function() {
      if (this.pos < this.string.length)
        return this.string.charAt(this.pos++);
    },