whole_func_string: function(c) {  // (note parentheses for precence)
  				var cc = ((c.charCodeAt(0)&0x0f)<<12) | ((c.charCodeAt(1)&0x3f)<<6) | ( c.charCodeAt(2)&0x3f);
  				return String.fromCharCode(cc); }
func_code_string: function(c) {  // (note parentheses for precence)
  				var cc = ((c.charCodeAt(0)&0x0f)<<12) | ((c.charCodeAt(1)&0x3f)<<6) | ( c.charCodeAt(2)&0x3f);
  				return String.fromCharCode(cc); }
func_documentation_string: 3-byte chars