michael@0: // Binary: cache/js-dbg-64-4fddb9923ef0-linux
michael@0: // Flags: --ion-eager
michael@0: //
michael@0: 
michael@0: function printBugNumber (num) {
michael@0:   BUGNUMBER = num;
michael@0: }
michael@0: gcslice(0)
michael@0: schedulegc(this);
michael@0: gcslice(1);
michael@0: var BUGNUMBER = ("one");
michael@0: printBugNumber();