# The index on the end character in the source
	fun pend: Int do return file.line_starts[line_end-1] + column_end-1