static S charToString(char c) {
  ret str(c);
}