# Distance between characters when looking for a character in a FlatString
	var index_len = new Counter[Int]