5.190 SubString

 procedure SubString(
   s: unicodestring, start: integer, length: integer): unicodestring

The SubString procedure returns the portion of s beginning at the zero-based index start and containing length characters. If start is less than zero or greater than s.length-1, returns null. If length + start is greater than s.length, then length is treated as if it equals s.length - start.