sS jsonEncode_extended(O o) {
  new StringBuilder buf;
  jsonEncode_extended(o, buf);
  ret str(buf);
}

svoid jsonEncode_extended(O o, StringBuilder buf) {
  if (o == null)
    buf.append("null");
  else if (o cast JS)
    buf.append(o!);
  else if (o cast S)
    buf.append(quote(o));
  else if (o instanceof Number || o instanceof Bool)
    buf.append(o);
  else if (o instanceof Map) {
    Map map = cast o;
    buf.append("{");
    bool first = true;
    for (O key : keys(map)) {
      if (first) first = false; else buf.append(",");
      buf.append(quote((S) key));
      buf.append(":");
      jsonEncode_extended(map.get(key), buf);
    }
    buf.append("}");
  } else if (o instanceof Collection) {
    Collection l = cast o;
    buf.append("[");
    bool first = true;
    for (O element : l) {
      if (first) first = false; else buf.append(",");
      jsonEncode_extended(element, buf);
    }
    buf.append("]");
  } else
    fail("Unknown object for JSON encoding: " + className(o));
}