# File nqxml/tokenizer.rb, line 636
 def nextElementDecl
	    while @currInput.pos >= @currInput.length
		@inputStack.pop()
		@currInput = @inputStack.last
	    end

	    sourceStartPos = @currInput.pos
	    skipChars(9)	# eat '<!ELEMENT'

	    skipSpaces()
	    name = nextName()
	    skipSpaces()

# FIX THIS; we are treating args as a blob of text.
	    args = textUpTo('>', false, true)
	    skipChar()		# eat '>'

	    return Element.new(name, args,
			       @currInput.string[sourceStartPos ... @currInput.pos])
	end