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