1 // Any copyright is dedicated to the Public Domain.
2 // http://creativecommons.org/licenses/publicdomain/
3 // Contributors: Christian Holler <decoder@own-hero.net>, Jesse Ruderman <jruderman@gmail.com>
5 (1 ? 2 : delete(0 ? 0 : {})).x;
7 reportCompare(0, 0, 'ok');