while (++pos < _header.length() && _delimiters.indexOf(_header.charAt(pos)) == -1) ;
while (++pos < _header.length()) {  char ch = _header.charAt(pos); if (_delimiters.indexOf(_header.charAt(pos)) != -1 || ch < 32 || ch >= 127) { break; } }
    private Token readAtomicToken() {        // skip to next delimiter        int start = pos;        while (++pos < _header.length()                && _delimiters.indexOf(_header.charAt(pos)) == -1)            ;        return new Token(Token.ATOM, _header.substring(start, pos));    }