static S charToString(char c) {
  ret String.valueOf(c);
}

static S charToString(int c) {
  ret String.valueOf((char) c);
}