static S substring(S s, int x) {
  ret safeSubstring(s, x);
}

static S substring(S s, int x, int y) {
  ret safeSubstring(s, x, y);
}