- substring string start endprocedure
String must be a string, and start and end must be exact integers satisfying
0 <= start <= end <= (string-length string)
Substring returns a newly allocated string formed from the characters of string beginning with index start (inclusive) and ending with index end (exclusive).