1:
2:
3:
4:
5:
6:

substr(s[], a, b) =
  undef; a > b
  s[a]; a = b
  concat(s[a], substr(s[], a+1, b)); a < b