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