# The index in the start character in the source
	fun pstart: Int do return file.line_starts[line_start-1] + column_start-1