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