# Is `pos` at the end of the source?
	protected fun eof: Bool do return pos >= src.length