function sc_write(o, p) {
    if (p === undefined) // we assume not given
	p = SC_DEFAULT_OUT;
    p.appendJSString(sc_toWriteString(o));
}
function sc_write(o, p) {
    if (p === undefined) 
	p = SC_DEFAULT_OUT;
    p.appendJSString(sc_toWriteString(o));
}
function sc_write ( o , p ) { if ( p === undefined ) // we assume not given p = SC_DEFAULT_OUT ; p . appendJSString ( sc_toWriteString ( o ) ) ; }
/* ------------------ write --------------------------------------------------- * META ((export #t))
/ * ------------------ write --------------------------------------------------- * META (( export #t ))