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