# The position of the first character just after the matching part.
	# May be out of the base string
	#
	# ~~~
	# var m = "hello world".search("lo")
	# assert m.after == 5
	# ~~~
	fun after: Int do return from + length