michael@0: // Binary: cache/js-dbg-64-e8de64e7e9fe-linux
michael@0: // Flags:
michael@0: //
michael@0: 
michael@0: function TestCase(n, d, e, a) {}
michael@0: (function(  )  {
michael@0:     for (var i = 0; i < 64; ++i) {
michael@0:         switch (~~(TestCase) % 3) {}
michael@0:     }
michael@0: })();