rem: Game.done(true); 
context: function interrupt() {  animations.interrupt()  Game.done(true);  if(gFloatingPileNeedsHiding) gFloatingPile.hide();}
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3385/9619925f65b7ebbd76a38034dbe7185d6e40422b/main.js/buggy/code/main.js