// needed for browser and rhino
if (typeof gc == 'undefined')
{
  gc = function () {};
}