michael@0: var BUGNUMBER = '';
michael@0: function printBugNumber (num)
michael@0: {
michael@0: 	return "foo";
michael@0: }
michael@0: function optionsClear() {
michael@0:   var x = printBugNumber().split(',');
michael@0: }
michael@0: function optionsReset() {
michael@0:     optionsClear();
michael@0: }
michael@0: var code = new Array();
michael@0: code.push("evaluate");
michael@0: var x0 = "\
michael@0:     printBugNumber(BUGNUMBER);\n\
michael@0:     function gen()\n\
michael@0:     {\n\
michael@0:       try {\n\
michael@0:         yield 0;\n\
michael@0:       } finally {\n\
michael@0:       }\n\
michael@0:     }\n\
michael@0:     var iter1 = gen( iter1=\"NaN\", new gen(gen)) ;\n\
michael@0:     gc();\n\
michael@0: ";
michael@0: code.push(x0);
michael@0: code.push("evaluate");
michael@0: var files = new Array();
michael@0: while (true) {
michael@0: 	var file = code.shift();
michael@0: 	if (file == "evaluate") {
michael@0: 		loadFiles(files);
michael@0: 	} else if (file == undefined) {
michael@0: 		break;
michael@0: 	} else {
michael@0: 		files.push(file);
michael@0: 	}
michael@0: }
michael@0: function loadFiles(x) {
michael@0: 	for (i in x) {
michael@0: 		try {
michael@0: 			eval(x[i]); 
michael@0: 		} catch (e) {
michael@0: 		}
michael@0: 	}
michael@0: 	optionsReset();
michael@0: }
michael@0: