function sc_write(o, p) {
    if (p === undefined) // we assume not given
    p = SC_DEFAULT_OUT;
    p.appendJSString(sc_toWriteString(o));
}