michael@0: // Binary: cache/js-dbg-64-c34398f961e7-linux
michael@0: // Flags: --ion-eager
michael@0: //
michael@0: 
michael@0: var lfcode = new Array();
michael@0: lfcode.push("gczeal(4);");
michael@0: lfcode.push("");
michael@0: while (true) {
michael@0: 	var file = lfcode.shift();
michael@0: 	if (file == undefined) { break; }
michael@0:         loadFile(file);
michael@0: }
michael@0: function loadFile(lfVarx) {
michael@0: 	eval(lfVarx);
michael@0: }