// Do we already have a global JSON object? Export it as our JSON object.
if (window.JSON)
  JSON = window.JSON;