docs: protected void pushBack(String str)
      {
          char[] chars = str.toCharArray();
          for ( int j = chars.length - 1; j >= 0; j-- ) {
              reader.unread(chars[j]);
          }
          idx -= chars.length;
      }