michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: try {
michael@0:     version(4096);  // don't assert
michael@0: } catch (exc) {
michael@0: }
michael@0: 
michael@0: try {
michael@0:     version(-1);  // don't assert
michael@0: } catch (exc) {
michael@0: }
michael@0: 
michael@0: reportCompare(0, 0, 'ok');