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