static String quote(O o) {
  if (o == null) return "null";
  S s = str(o);
  return "\"" + s.replace("\\", "\\\\").replace("\"", "\\\"").replace("\r", "\\r").replace("\n", "\\n") + "\"";
}