michael@0: // Binary: cache/js-dbg-64-407632130d1b-linux
michael@0: // Flags:
michael@0: //
michael@0: 
michael@0: gc();
michael@0: evaluate("gcslice(0);");