docs: public void skipWhitespace() {
          while (position < string.length()) {
              final char c = string.charAt(position);
              if (c == ' ' || c == '\n' || c == '\r' || c == '\t') {
                  position++;
              } else {
                  break;
              }
          }
      }