michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: with (0)
michael@0:     for (var b = 0 in 0)  // don't assert in parser
michael@0: 	;
michael@0: 
michael@0: reportCompare(0, 0, 'ok');