function sc_writeChar(c, p) {
    if (p === undefined) // we assume not given
	p = SC_DEFAULT_OUT;
    p.appendJSString(c.val);
}
function sc_writeChar(c, p) {
    if (p === undefined) 
	p = SC_DEFAULT_OUT;
    p.appendJSString(c.val);
}
function sc_writeChar ( c , p ) { if ( p === undefined ) // we assume not given p = SC_DEFAULT_OUT ; p . appendJSString ( c . val ) ; }
/* ------------------ write-char --------------------------------------------------- * META ((export #t))
/ * ------------------ write - char --------------------------------------------------- * META (( export #t ))