code: function miniJSONify(o, exc) {
      if (typeof o === 'undefined') {
          return 'undefined';
      } else if (o == null) {
          return 'null';
      } else if (typeof o == 'string') {
          return "'" + o + "'";
      } else if (typeof o == 'number') {
          return "" + o;
      } else if (typeof o == 'boolean') {
          return "" + o;
      } else if (typeof o == 'object') {
          if (o instanceof Array) {
              var s = null;
              for (var i = 0; i < o.length; ++i) {
                  s = (s == null ? '' : (s + ', ')) + miniJSONify(o[i], exc);
              }
              return '[' + (s?s:'') + ']';
          } else {
              exc = exc || {};
              var s = null;
              for (var k in o) {
                  if (exc[k])
                      continue;
                  if (k != undefined && typeof(o[k]) != 'function') {
                      s = (s == null ? '' : (s + ', ')) + k + ': ' + miniJSONify(o[k], exc);
                  }
              }
              return '{' + (s?s:'') + '}';
          }
      } else {
          return (typeof o);
      }
  }
docs: WARNING: not for general use!