whole_func_string: function sc_basename(p) {
     var i = p.lastIndexOf('/');
  
     if(i >= 0)
        return p.substring(i + 1, p.length);
     else
        return '';
  }
func_code_string: function sc_basename(p) {
     var i = p.lastIndexOf('/');
  
     if(i >= 0)
        return p.substring(i + 1, p.length);
     else
        return '';
  }
func_documentation_string: /* ---------------------------------------------------------------------------- * META ((export #t))