This is the JavaScript SpiderMonkey version 1.5 release. This code
is verbatim from the http://www.mozilla.org website; all rights,
etc, stay with them. 


