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

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