static Symbol subsymbol(Symbol s, int x) {
  ret s == null ? null : symbol(substring(str(s), x));
}

static Symbol subsymbol(Symbol s, int x, int y) {
  ret s == null ? null : symbol(substring(asString(s), x, y));
}