docs: private boolean isWhitespace(char c) {
          if (c > 0x20) {
              return false;
          }
          if ((c == 0x20) || (c == 0x0a) || (c == 0x09) || (c == 0x0d)) {
              return true;
          }
          return false; // illegal ...
      }