michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: // Contributor: Bob Clary <bclary@bclary.com>
michael@0: 
michael@0: try {
michael@0:     new {prototype: TypeError.prototype};
michael@0: } catch (e) {}
michael@0: 
michael@0: reportCompare(0, 0, 'ok');