class TEST inherit EXECUTION_ENVIRONMENT PLATFORM create make feature {NONE} -- Creation make is -- Execute test. local retried: BOOLEAN do if not retried then infinite_recursion end rescue io.put_string ("Stack overflow caught") io.new_line retried := True retry end feature {NONE} -- Implementation infinite_recursion is local d1: DOUBLE d2: DOUBLE d3: DOUBLE d4: DOUBLE d5: DOUBLE d6: DOUBLE d7: DOUBLE d8: DOUBLE d9: DOUBLE d10: DOUBLE d11: DOUBLE d12: DOUBLE d13: DOUBLE d14: DOUBLE d15: DOUBLE d16: DOUBLE d17: DOUBLE d18: DOUBLE d19: DOUBLE d20: DOUBLE d21: DOUBLE d22: DOUBLE d23: DOUBLE d24: DOUBLE d25: DOUBLE d26: DOUBLE d27: DOUBLE d28: DOUBLE d29: DOUBLE d30: DOUBLE d31: DOUBLE d32: DOUBLE d33: DOUBLE d34: DOUBLE d35: DOUBLE d36: DOUBLE d37: DOUBLE d38: DOUBLE d39: DOUBLE d40: DOUBLE d41: DOUBLE d42: DOUBLE d43: DOUBLE d44: DOUBLE d45: DOUBLE d46: DOUBLE d47: DOUBLE d48: DOUBLE d49: DOUBLE d50: DOUBLE d51: DOUBLE d52: DOUBLE d53: DOUBLE d54: DOUBLE d55: DOUBLE d56: DOUBLE d57: DOUBLE d58: DOUBLE d59: DOUBLE d60: DOUBLE d61: DOUBLE d62: DOUBLE d63: DOUBLE d64: DOUBLE d65: DOUBLE d66: DOUBLE d67: DOUBLE d68: DOUBLE d69: DOUBLE d70: DOUBLE d71: DOUBLE d72: DOUBLE d73: DOUBLE d74: DOUBLE d75: DOUBLE d76: DOUBLE d77: DOUBLE d78: DOUBLE d79: DOUBLE d80: DOUBLE d81: DOUBLE d82: DOUBLE d83: DOUBLE d84: DOUBLE d85: DOUBLE d86: DOUBLE d87: DOUBLE d88: DOUBLE d89: DOUBLE d90: DOUBLE d91: DOUBLE d92: DOUBLE d93: DOUBLE d94: DOUBLE d95: DOUBLE d96: DOUBLE d97: DOUBLE d98: DOUBLE d99: DOUBLE d100: DOUBLE d101: DOUBLE d102: DOUBLE d103: DOUBLE d104: DOUBLE d105: DOUBLE d106: DOUBLE d107: DOUBLE d108: DOUBLE d109: DOUBLE d110: DOUBLE d111: DOUBLE d112: DOUBLE d113: DOUBLE d114: DOUBLE d115: DOUBLE d116: DOUBLE d117: DOUBLE d118: DOUBLE d119: DOUBLE d120: DOUBLE d121: DOUBLE d122: DOUBLE d123: DOUBLE d124: DOUBLE d125: DOUBLE d126: DOUBLE d127: DOUBLE d128: DOUBLE d129: DOUBLE d130: DOUBLE d131: DOUBLE d132: DOUBLE d133: DOUBLE d134: DOUBLE d135: DOUBLE d136: DOUBLE d137: DOUBLE d138: DOUBLE d139: DOUBLE d140: DOUBLE d141: DOUBLE d142: DOUBLE d143: DOUBLE d144: DOUBLE d145: DOUBLE d146: DOUBLE d147: DOUBLE d148: DOUBLE d149: DOUBLE d150: DOUBLE d151: DOUBLE d152: DOUBLE d153: DOUBLE d154: DOUBLE d155: DOUBLE d156: DOUBLE d157: DOUBLE d158: DOUBLE d159: DOUBLE d160: DOUBLE d161: DOUBLE d162: DOUBLE d163: DOUBLE d164: DOUBLE d165: DOUBLE d166: DOUBLE d167: DOUBLE d168: DOUBLE d169: DOUBLE d170: DOUBLE d171: DOUBLE d172: DOUBLE d173: DOUBLE d174: DOUBLE d175: DOUBLE d176: DOUBLE d177: DOUBLE d178: DOUBLE d179: DOUBLE d180: DOUBLE d181: DOUBLE d182: DOUBLE d183: DOUBLE d184: DOUBLE d185: DOUBLE d186: DOUBLE d187: DOUBLE d188: DOUBLE d189: DOUBLE d190: DOUBLE d191: DOUBLE d192: DOUBLE d193: DOUBLE d194: DOUBLE d195: DOUBLE d196: DOUBLE d197: DOUBLE d198: DOUBLE d199: DOUBLE d200: DOUBLE d201: DOUBLE d202: DOUBLE d203: DOUBLE d204: DOUBLE d205: DOUBLE d206: DOUBLE d207: DOUBLE d208: DOUBLE d209: DOUBLE d210: DOUBLE d211: DOUBLE d212: DOUBLE d213: DOUBLE d214: DOUBLE d215: DOUBLE d216: DOUBLE d217: DOUBLE d218: DOUBLE d219: DOUBLE d220: DOUBLE d221: DOUBLE d222: DOUBLE d223: DOUBLE d224: DOUBLE d225: DOUBLE d226: DOUBLE d227: DOUBLE d228: DOUBLE d229: DOUBLE d230: DOUBLE d231: DOUBLE d232: DOUBLE d233: DOUBLE d234: DOUBLE d235: DOUBLE d236: DOUBLE d237: DOUBLE d238: DOUBLE d239: DOUBLE d240: DOUBLE d241: DOUBLE d242: DOUBLE d243: DOUBLE d244: DOUBLE d245: DOUBLE d246: DOUBLE d247: DOUBLE d248: DOUBLE d249: DOUBLE d250: DOUBLE d251: DOUBLE d252: DOUBLE d253: DOUBLE d254: DOUBLE d255: DOUBLE d256: DOUBLE d257: DOUBLE d258: DOUBLE d259: DOUBLE d260: DOUBLE d261: DOUBLE d262: DOUBLE d263: DOUBLE d264: DOUBLE d265: DOUBLE d266: DOUBLE d267: DOUBLE d268: DOUBLE d269: DOUBLE d270: DOUBLE d271: DOUBLE d272: DOUBLE d273: DOUBLE d274: DOUBLE d275: DOUBLE d276: DOUBLE d277: DOUBLE d278: DOUBLE d279: DOUBLE d280: DOUBLE d281: DOUBLE d282: DOUBLE d283: DOUBLE d284: DOUBLE d285: DOUBLE d286: DOUBLE d287: DOUBLE d288: DOUBLE d289: DOUBLE d290: DOUBLE d291: DOUBLE d292: DOUBLE d293: DOUBLE d294: DOUBLE d295: DOUBLE d296: DOUBLE d297: DOUBLE d298: DOUBLE d299: DOUBLE d300: DOUBLE d301: DOUBLE d302: DOUBLE d303: DOUBLE d304: DOUBLE d305: DOUBLE d306: DOUBLE d307: DOUBLE d308: DOUBLE d309: DOUBLE d310: DOUBLE d311: DOUBLE d312: DOUBLE d313: DOUBLE d314: DOUBLE d315: DOUBLE d316: DOUBLE d317: DOUBLE d318: DOUBLE d319: DOUBLE d320: DOUBLE d321: DOUBLE d322: DOUBLE d323: DOUBLE d324: DOUBLE d325: DOUBLE d326: DOUBLE d327: DOUBLE d328: DOUBLE d329: DOUBLE d330: DOUBLE d331: DOUBLE d332: DOUBLE d333: DOUBLE d334: DOUBLE d335: DOUBLE d336: DOUBLE d337: DOUBLE d338: DOUBLE d339: DOUBLE d340: DOUBLE d341: DOUBLE d342: DOUBLE d343: DOUBLE d344: DOUBLE d345: DOUBLE d346: DOUBLE d347: DOUBLE d348: DOUBLE d349: DOUBLE d350: DOUBLE d351: DOUBLE d352: DOUBLE d353: DOUBLE d354: DOUBLE d355: DOUBLE d356: DOUBLE d357: DOUBLE d358: DOUBLE d359: DOUBLE d360: DOUBLE d361: DOUBLE d362: DOUBLE d363: DOUBLE d364: DOUBLE d365: DOUBLE d366: DOUBLE d367: DOUBLE d368: DOUBLE d369: DOUBLE d370: DOUBLE d371: DOUBLE d372: DOUBLE d373: DOUBLE d374: DOUBLE d375: DOUBLE d376: DOUBLE d377: DOUBLE d378: DOUBLE d379: DOUBLE d380: DOUBLE d381: DOUBLE d382: DOUBLE d383: DOUBLE d384: DOUBLE d385: DOUBLE d386: DOUBLE d387: DOUBLE d388: DOUBLE d389: DOUBLE d390: DOUBLE d391: DOUBLE d392: DOUBLE d393: DOUBLE d394: DOUBLE d395: DOUBLE d396: DOUBLE d397: DOUBLE d398: DOUBLE d399: DOUBLE d400: DOUBLE d401: DOUBLE d402: DOUBLE d403: DOUBLE d404: DOUBLE d405: DOUBLE d406: DOUBLE d407: DOUBLE d408: DOUBLE d409: DOUBLE d410: DOUBLE d411: DOUBLE d412: DOUBLE d413: DOUBLE d414: DOUBLE d415: DOUBLE d416: DOUBLE d417: DOUBLE d418: DOUBLE d419: DOUBLE d420: DOUBLE d421: DOUBLE d422: DOUBLE d423: DOUBLE d424: DOUBLE d425: DOUBLE d426: DOUBLE d427: DOUBLE d428: DOUBLE d429: DOUBLE d430: DOUBLE d431: DOUBLE d432: DOUBLE d433: DOUBLE d434: DOUBLE d435: DOUBLE d436: DOUBLE d437: DOUBLE d438: DOUBLE d439: DOUBLE d440: DOUBLE d441: DOUBLE d442: DOUBLE d443: DOUBLE d444: DOUBLE d445: DOUBLE d446: DOUBLE d447: DOUBLE d448: DOUBLE d449: DOUBLE d450: DOUBLE d451: DOUBLE d452: DOUBLE d453: DOUBLE d454: DOUBLE d455: DOUBLE d456: DOUBLE d457: DOUBLE d458: DOUBLE d459: DOUBLE d460: DOUBLE d461: DOUBLE d462: DOUBLE d463: DOUBLE d464: DOUBLE d465: DOUBLE d466: DOUBLE d467: DOUBLE d468: DOUBLE d469: DOUBLE d470: DOUBLE d471: DOUBLE d472: DOUBLE d473: DOUBLE d474: DOUBLE d475: DOUBLE d476: DOUBLE d477: DOUBLE d478: DOUBLE d479: DOUBLE d480: DOUBLE d481: DOUBLE d482: DOUBLE d483: DOUBLE d484: DOUBLE d485: DOUBLE d486: DOUBLE d487: DOUBLE d488: DOUBLE d489: DOUBLE d490: DOUBLE d491: DOUBLE d492: DOUBLE d493: DOUBLE d494: DOUBLE d495: DOUBLE d496: DOUBLE d497: DOUBLE d498: DOUBLE d499: DOUBLE d500: DOUBLE d501: DOUBLE d502: DOUBLE d503: DOUBLE d504: DOUBLE d505: DOUBLE d506: DOUBLE d507: DOUBLE d508: DOUBLE d509: DOUBLE d510: DOUBLE d511: DOUBLE d512: DOUBLE d513: DOUBLE d514: DOUBLE d515: DOUBLE d516: DOUBLE d517: DOUBLE d518: DOUBLE d519: DOUBLE d520: DOUBLE d521: DOUBLE d522: DOUBLE d523: DOUBLE d524: DOUBLE d525: DOUBLE d526: DOUBLE d527: DOUBLE d528: DOUBLE d529: DOUBLE d530: DOUBLE d531: DOUBLE d532: DOUBLE d533: DOUBLE d534: DOUBLE d535: DOUBLE d536: DOUBLE d537: DOUBLE d538: DOUBLE d539: DOUBLE d540: DOUBLE d541: DOUBLE d542: DOUBLE d543: DOUBLE d544: DOUBLE d545: DOUBLE d546: DOUBLE d547: DOUBLE d548: DOUBLE d549: DOUBLE d550: DOUBLE d551: DOUBLE d552: DOUBLE d553: DOUBLE d554: DOUBLE d555: DOUBLE d556: DOUBLE d557: DOUBLE d558: DOUBLE d559: DOUBLE d560: DOUBLE d561: DOUBLE d562: DOUBLE d563: DOUBLE d564: DOUBLE d565: DOUBLE d566: DOUBLE d567: DOUBLE d568: DOUBLE d569: DOUBLE d570: DOUBLE d571: DOUBLE d572: DOUBLE d573: DOUBLE d574: DOUBLE d575: DOUBLE d576: DOUBLE d577: DOUBLE d578: DOUBLE d579: DOUBLE d580: DOUBLE d581: DOUBLE d582: DOUBLE d583: DOUBLE d584: DOUBLE d585: DOUBLE d586: DOUBLE d587: DOUBLE d588: DOUBLE d589: DOUBLE d590: DOUBLE d591: DOUBLE d592: DOUBLE d593: DOUBLE d594: DOUBLE d595: DOUBLE d596: DOUBLE d597: DOUBLE d598: DOUBLE d599: DOUBLE d600: DOUBLE d601: DOUBLE d602: DOUBLE d603: DOUBLE d604: DOUBLE d605: DOUBLE d606: DOUBLE d607: DOUBLE d608: DOUBLE d609: DOUBLE d610: DOUBLE d611: DOUBLE d612: DOUBLE d613: DOUBLE d614: DOUBLE d615: DOUBLE d616: DOUBLE d617: DOUBLE d618: DOUBLE d619: DOUBLE d620: DOUBLE d621: DOUBLE d622: DOUBLE d623: DOUBLE d624: DOUBLE d625: DOUBLE d626: DOUBLE d627: DOUBLE d628: DOUBLE d629: DOUBLE d630: DOUBLE d631: DOUBLE d632: DOUBLE d633: DOUBLE d634: DOUBLE d635: DOUBLE d636: DOUBLE d637: DOUBLE d638: DOUBLE d639: DOUBLE d640: DOUBLE d641: DOUBLE d642: DOUBLE d643: DOUBLE d644: DOUBLE d645: DOUBLE d646: DOUBLE d647: DOUBLE d648: DOUBLE d649: DOUBLE d650: DOUBLE d651: DOUBLE d652: DOUBLE d653: DOUBLE d654: DOUBLE d655: DOUBLE d656: DOUBLE d657: DOUBLE d658: DOUBLE d659: DOUBLE d660: DOUBLE d661: DOUBLE d662: DOUBLE d663: DOUBLE d664: DOUBLE d665: DOUBLE d666: DOUBLE d667: DOUBLE d668: DOUBLE d669: DOUBLE d670: DOUBLE d671: DOUBLE d672: DOUBLE d673: DOUBLE d674: DOUBLE d675: DOUBLE d676: DOUBLE d677: DOUBLE d678: DOUBLE d679: DOUBLE d680: DOUBLE d681: DOUBLE d682: DOUBLE d683: DOUBLE d684: DOUBLE d685: DOUBLE d686: DOUBLE d687: DOUBLE d688: DOUBLE d689: DOUBLE d690: DOUBLE d691: DOUBLE d692: DOUBLE d693: DOUBLE d694: DOUBLE d695: DOUBLE d696: DOUBLE d697: DOUBLE d698: DOUBLE d699: DOUBLE d700: DOUBLE d701: DOUBLE d702: DOUBLE d703: DOUBLE d704: DOUBLE d705: DOUBLE d706: DOUBLE d707: DOUBLE d708: DOUBLE d709: DOUBLE d710: DOUBLE d711: DOUBLE d712: DOUBLE d713: DOUBLE d714: DOUBLE d715: DOUBLE d716: DOUBLE d717: DOUBLE d718: DOUBLE d719: DOUBLE d720: DOUBLE d721: DOUBLE d722: DOUBLE d723: DOUBLE d724: DOUBLE d725: DOUBLE d726: DOUBLE d727: DOUBLE d728: DOUBLE d729: DOUBLE d730: DOUBLE d731: DOUBLE d732: DOUBLE d733: DOUBLE d734: DOUBLE d735: DOUBLE d736: DOUBLE d737: DOUBLE d738: DOUBLE d739: DOUBLE d740: DOUBLE d741: DOUBLE d742: DOUBLE d743: DOUBLE d744: DOUBLE d745: DOUBLE d746: DOUBLE d747: DOUBLE d748: DOUBLE d749: DOUBLE d750: DOUBLE d751: DOUBLE d752: DOUBLE d753: DOUBLE d754: DOUBLE d755: DOUBLE d756: DOUBLE d757: DOUBLE d758: DOUBLE d759: DOUBLE d760: DOUBLE d761: DOUBLE d762: DOUBLE d763: DOUBLE d764: DOUBLE d765: DOUBLE d766: DOUBLE d767: DOUBLE d768: DOUBLE d769: DOUBLE d770: DOUBLE d771: DOUBLE d772: DOUBLE d773: DOUBLE d774: DOUBLE d775: DOUBLE d776: DOUBLE d777: DOUBLE d778: DOUBLE d779: DOUBLE d780: DOUBLE d781: DOUBLE d782: DOUBLE d783: DOUBLE d784: DOUBLE d785: DOUBLE d786: DOUBLE d787: DOUBLE d788: DOUBLE d789: DOUBLE d790: DOUBLE d791: DOUBLE d792: DOUBLE d793: DOUBLE d794: DOUBLE d795: DOUBLE d796: DOUBLE d797: DOUBLE d798: DOUBLE d799: DOUBLE d800: DOUBLE d801: DOUBLE d802: DOUBLE d803: DOUBLE d804: DOUBLE d805: DOUBLE d806: DOUBLE d807: DOUBLE d808: DOUBLE d809: DOUBLE d810: DOUBLE d811: DOUBLE d812: DOUBLE d813: DOUBLE d814: DOUBLE d815: DOUBLE d816: DOUBLE d817: DOUBLE d818: DOUBLE d819: DOUBLE d820: DOUBLE d821: DOUBLE d822: DOUBLE d823: DOUBLE d824: DOUBLE d825: DOUBLE d826: DOUBLE d827: DOUBLE d828: DOUBLE d829: DOUBLE d830: DOUBLE d831: DOUBLE d832: DOUBLE d833: DOUBLE d834: DOUBLE d835: DOUBLE d836: DOUBLE d837: DOUBLE d838: DOUBLE d839: DOUBLE d840: DOUBLE d841: DOUBLE d842: DOUBLE d843: DOUBLE d844: DOUBLE d845: DOUBLE d846: DOUBLE d847: DOUBLE d848: DOUBLE d849: DOUBLE d850: DOUBLE d851: DOUBLE d852: DOUBLE d853: DOUBLE d854: DOUBLE d855: DOUBLE d856: DOUBLE d857: DOUBLE d858: DOUBLE d859: DOUBLE d860: DOUBLE d861: DOUBLE d862: DOUBLE d863: DOUBLE d864: DOUBLE d865: DOUBLE d866: DOUBLE d867: DOUBLE d868: DOUBLE d869: DOUBLE d870: DOUBLE d871: DOUBLE d872: DOUBLE d873: DOUBLE d874: DOUBLE d875: DOUBLE d876: DOUBLE d877: DOUBLE d878: DOUBLE d879: DOUBLE d880: DOUBLE d881: DOUBLE d882: DOUBLE d883: DOUBLE d884: DOUBLE d885: DOUBLE d886: DOUBLE d887: DOUBLE d888: DOUBLE d889: DOUBLE d890: DOUBLE d891: DOUBLE d892: DOUBLE d893: DOUBLE d894: DOUBLE d895: DOUBLE d896: DOUBLE d897: DOUBLE d898: DOUBLE d899: DOUBLE d900: DOUBLE d901: DOUBLE d902: DOUBLE d903: DOUBLE d904: DOUBLE d905: DOUBLE d906: DOUBLE d907: DOUBLE d908: DOUBLE d909: DOUBLE d910: DOUBLE d911: DOUBLE d912: DOUBLE d913: DOUBLE d914: DOUBLE d915: DOUBLE d916: DOUBLE d917: DOUBLE d918: DOUBLE d919: DOUBLE d920: DOUBLE d921: DOUBLE d922: DOUBLE d923: DOUBLE d924: DOUBLE d925: DOUBLE d926: DOUBLE d927: DOUBLE d928: DOUBLE d929: DOUBLE d930: DOUBLE d931: DOUBLE d932: DOUBLE d933: DOUBLE d934: DOUBLE d935: DOUBLE d936: DOUBLE d937: DOUBLE d938: DOUBLE d939: DOUBLE d940: DOUBLE d941: DOUBLE d942: DOUBLE d943: DOUBLE d944: DOUBLE d945: DOUBLE d946: DOUBLE d947: DOUBLE d948: DOUBLE d949: DOUBLE d950: DOUBLE d951: DOUBLE d952: DOUBLE d953: DOUBLE d954: DOUBLE d955: DOUBLE d956: DOUBLE d957: DOUBLE d958: DOUBLE d959: DOUBLE d960: DOUBLE d961: DOUBLE d962: DOUBLE d963: DOUBLE d964: DOUBLE d965: DOUBLE d966: DOUBLE d967: DOUBLE d968: DOUBLE d969: DOUBLE d970: DOUBLE d971: DOUBLE d972: DOUBLE d973: DOUBLE d974: DOUBLE d975: DOUBLE d976: DOUBLE d977: DOUBLE d978: DOUBLE d979: DOUBLE d980: DOUBLE d981: DOUBLE d982: DOUBLE d983: DOUBLE d984: DOUBLE d985: DOUBLE d986: DOUBLE d987: DOUBLE d988: DOUBLE d989: DOUBLE d990: DOUBLE d991: DOUBLE d992: DOUBLE d993: DOUBLE d994: DOUBLE d995: DOUBLE d996: DOUBLE d997: DOUBLE d998: DOUBLE d999: DOUBLE d1000: DOUBLE d1001: DOUBLE d1002: DOUBLE d1003: DOUBLE d1004: DOUBLE d1005: DOUBLE d1006: DOUBLE do infinite_recursion end end