static S quoteCharacter(char c) {
  if (c == '\'') ret "'\\''";
  if (c == '\\') ret "'\\\\'";
  if (c == '\r') ret "'\\r'";
  if (c == '\n') ret "'\\n'";
  if (c == '\t') ret "'\\t'";
  ret "'" + c + "'";
}